Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A theory of prepositional types”
Some impredicative definitions in the axiomatic set theory
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
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:
A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Schneider, Hubert H. (1961)
Portugaliae mathematica
Similarity:
A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity: