Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Displaying similar documents to “Ambiguity and stratification”
Relativization with respect to formulas and its use in proofs of independence
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
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:
Persistent and invariant formulas for outer extensions
Solomon Feferman (1968)
Compositio Mathematica
Similarity:
Completeness theorems for some presupposition-free logics
H. Leblanc, R. H. Thomason (1968)
Fundamenta Mathematicae
Similarity: