Amorphe Potenzen kompakter Räume.
Norbert Brunner (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Weak foundation and axioms of universality.”
Amorphe Potenzen kompakter Räume.
Universality and strong extensionality.
Michael v. Rimscha (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The axiom of Fundierung and the axiom of choice.
Elliott Mendelson (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A fixed point theorem equivalent to the axiom of choice.
Alexander Abian (1985)
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:
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Unramified forcing preserving the law of double negation.
A. Abian, K. Keremedis (1987)
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: