A note on a proof of Sherpherdson.
T.B. Flannagan (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Garnir's dream spaces with Hamel bases.”
A note on a proof of Sherpherdson.
Variants of Robinson's essentially undecidable theory R.
J.C. Shepherdson, J.P. Jones (1983)
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:
A well-ordering proof for Feferman's theory To.
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
George S. Boolos (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Bases of ZF...-models.
Michael v. Rimscha (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: