Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Displaying similar documents to “Persistent and invariant formulas for outer extensions”
Relativization with respect to formulas and its use in proofs of independence
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
Descriptive Set Theory and Infinitary Languages
John P. Burgess (1977)
Zbornik Radova
Similarity:
An interpolation theorem for denumerably long formulas
E. Lopez-Escobar (1965)
Fundamenta Mathematicae
Similarity:
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
Ruggero Ferro (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Analytic Tableaux and Interpolation
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Reasoning in Basic Description Logics and Description Logics with Modal Operators
Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)
Zbornik Radova
Similarity:
States of affairs as values for formulas
Miroslav Mleziva (1975)
Kybernetika
Similarity: