On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: