A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A proof theoretical fine structure in systems of ramified analysis.”
A note on proofs of falsehood.
An extension of the Kreisel-Putman system.
N. Georgieva (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the existence of an empty set in set-theoretical methods.
A. Abian, S. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On necessary but not-sufficient conditions.
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Stackautomaten in Labyrinthen.
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hanf numbers and well-ordering numbers.
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Liberated versions of T, S4, and S5.
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: