Persistent and invariant formulas for outer extensions
Solomon Feferman (1968)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “An interpolation theorem for denumerably long formulas”
Persistent and invariant formulas for outer extensions
Limits to some interpolation theorems
Ruggero Ferro (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Analytic Tableaux and Interpolation
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity:
Souslin-Klееnе does not imply Beth
Finn Jensen (1976)
Fundamenta Mathematicae
Similarity:
Some consequences of the normality of the space of models
Hidemitsu Sayeki (1967)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
An analysis of Karp’s interpolation theorem and the notion of -consistency property
Ruggero Ferro (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: