Universality and strong extensionality.
Michael v. Rimscha (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “The axiom of Fundierung and the axiom of choice.”
Universality and strong extensionality.
A fixed point theorem equivalent to the axiom of choice.
Alexander Abian (1985)
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:
Amorphe Potenzen kompakter Räume.
Norbert Brunner (1984)
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:
A note on a proof of Sherpherdson.
T.B. Flannagan (1983)
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:
Set theory in predicate calculus with equality
M.W. Bunder (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 well-ordering proof for Feferman's theory To.
Gerhard Jäger (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: