Set theory in predicate calculus with equality
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A one axiom set theory based on higher order predicate calculus.”
Set theory in predicate calculus with equality
The axiom of Fundierung and the axiom of choice.
Elliott Mendelson (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Universality and strong extensionality.
Michael v. Rimscha (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On 2nd order intuitionistic propositional calculus with full comprehension.
Dov M. Gabbay (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (1964/65)
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:
Some remarks about the connections between combinatory logic and axiomatic recursion theory.
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: