Remarks on countable models
Miroslav Benda (1974)
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 “The number of countable models of a theory of one unary function”
Remarks on countable models
On the number of models of the Kelley-Morse theory of classes
W. Marek, Paweł Zbierski (1980)
Fundamenta Mathematicae
Similarity:
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
A viewpoint on amalgamation classes
Silvia Barbina, Domenico Zambella (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.
Vaught's conjecture for theories of one unary operation
Arnold Miller (1981)
Fundamenta Mathematicae
Similarity:
A characterization of expandability of models for ZF to models for KM
Zygmunt Ratajczyk (1981)
Fundamenta Mathematicae
Similarity:
Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
An expansion of an -categorical model
Leo Marcus (1979)
Fundamenta Mathematicae
Similarity: