An expansion of an $ℵ_0$-categorical model

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.

On the categoricity in power of elementary deductive systems and some related problems

J. Łoś (1954)

Colloquium Mathematicae

Similarity:

On elementary cuts in models of arithmetic

Henryk Kotlarski (1983)

Fundamenta Mathematicae

Similarity:

Displaying similar documents to “An expansion of an ℵ 0 -categorical model”

Displaying similar documents to “An expansion of an $ℵ_{0}$ -categorical model”