The axiom of Fundierung and the axiom of choice.
Elliott Mendelson (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A fixed point theorem equivalent to the axiom of choice.”
The axiom of Fundierung and the axiom of choice.
Universality and strong extensionality.
Michael v. Rimscha (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Weak foundation and axioms of universality.
Michael v. Rimscha (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on a proof of Sherpherdson.
T.B. Flannagan (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Amorphe Potenzen kompakter Räume.
Norbert Brunner (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Variants of Robinson's essentially undecidable theory R.
J.C. Shepherdson, J.P. Jones (1983)
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:
A one axiom set theory based on higher order predicate calculus.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
S. Caporaso, G. Pani (1982)
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: