Completion closed algebras and models of Peano arithmetic
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
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.
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.
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 “Core structures for theories”
Completion closed algebras and models of Peano arithmetic
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
Some problems of definability in the lower predicate calculus
A. Robinson (1957)
Fundamenta Mathematicae
Similarity:
Atomic compactness in - categorical Horn theories
John Baldwin (1974)
Fundamenta Mathematicae
Similarity:
Homogeneous-Universal Models of Theories Which Have Model Completions
Žarko Mijajlović (1977)
Zbornik Radova
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: