On hyperhomogeneous and absolutely homogeneous models (Q1972197)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On hyperhomogeneous and absolutely homogeneous models |
scientific article |
Statements
On hyperhomogeneous and absolutely homogeneous models (English)
0 references
16 April 2000
0 references
A model is said to be hyperhomogeneous provided any isomorphism between its submodels can be extended to an automorphism. A model is called absolutely homogeneous provided it is \(\lambda\)-homogeneous for all \(\lambda\). The author proves the existence of a theory in a finite language that possesses a unique hyperhomogeneous model. The cardinality of this model is \(2^\omega\).
0 references
model theory
0 references
hyperhomogeneous model
0 references
absolutely homogeneous model
0 references
