A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
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 “Some impredicative definitions in the axiomatic set theory”
A theory of prepositional types
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
Lawless sequences of natural numbers
G. Kreisel (1968)
Compositio Mathematica
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity: