A theorem on labelled trees and the limits of its provability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):107-122 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360204

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A theorem on labelled trees and the limits of its provability.Helmut Pfeiffer - 1990 - Mathematical Logic Quarterly 36 (2):107-122.
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.
Thiele Helmut. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 93–106.Thiele Helmut. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 108–142. [REVIEW]Atwell R. Turquette - 1967 - Journal of Symbolic Logic 32 (2):260-261.
Trees and Isols II.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):45-78.
Anew relation-combining theorem and its application.Zhi-Wei Sun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):209-212.
A probabilistic machine for the estimation of provability in the first order predicate calculus.S. C. van Westrhenen - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):291-297.
A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):111-112.
A theorem on cocongruence of rings.Daniel A. Romano - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):87-88.

Analytics

Added to PP
2016-02-04

Downloads
24 (#646,352)

6 months
24 (#147,988)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references