-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Displaying similar documents to “-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality ”
-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Karp's interpolation theorem for some classes of infinitary languages
Stefano Baratella (1989)
Rendiconti del Seminario Matematico della Università di Padova
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:
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:
On defining well-orderings
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
Second order forcing, algebraically closed structures, and large cardinals
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
Comments on Ultraproducts of Forcing Systems
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Seq-consistency property and interpolation theorems
Ruggero Ferro (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Incompactness in languages with infinitely long expressions
W. Hanf (1964)
Fundamenta Mathematicae
Similarity:
A compactness result concerning direct products of models
M. Makkai (1965)
Fundamenta Mathematicae
Similarity: