Skolem-type normal forms for first-order languages with a generalized quantifier
G. Fuhrken (1964)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On defining well-orderings”
Skolem-type normal forms for first-order languages with a generalized quantifier
Second order forcing, algebraically closed structures, and large cardinals
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (1971)
Fundamenta Mathematicae
Similarity:
Comments on Ultraproducts of Forcing Systems
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Some consequences of the normality of the space of models
Hidemitsu Sayeki (1967)
Fundamenta Mathematicae
Similarity:
-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality
Ruggero Ferro (1988)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
A compactness result concerning direct products of models
M. Makkai (1965)
Fundamenta Mathematicae
Similarity:
-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: