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.
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: