On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Some problems of definability in the lower predicate calculus”
On ω-models which are not β-models
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
Solution of a problem of Tarski
A. Robinson (1959)
Fundamenta Mathematicae
Similarity:
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Completion closed algebras and models of Peano arithmetic
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The independence of various definitions of finiteness
A. Lévy (1958)
Fundamenta Mathematicae
Similarity:
Core structures for theories
David Kueker (1975)
Fundamenta Mathematicae
Similarity:
Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity: