On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Generalizing Vaught sentences from ω to strong cofinality ω”
On ω-models which are not β-models
Skolem-type normal forms for first-order languages with a generalized quantifier
G. Fuhrken (1964)
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:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Second order forcing, algebraically closed structures, and large cardinals
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
Some consequences of the normality of the space of models
Hidemitsu Sayeki (1967)
Fundamenta Mathematicae
Similarity:
On defining well-orderings
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
Classes of models and sets of sentences with the intersection property
Michael O. Rabin (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (1971)
Fundamenta Mathematicae
Similarity: