The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
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 “Relativization with respect to formulas and its use in proofs of independence”
The logic of negationless mathematics
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
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 theories with selectors
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
The quantifier complexity of NF.
Kaye, Richard (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Persistent and invariant formulas for outer extensions
Solomon Feferman (1968)
Compositio Mathematica
Similarity: