On generalizations of a theorem of Vaught (Q2641299)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On generalizations of a theorem of Vaught |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On generalizations of a theorem of Vaught |
scientific article |
Statements
On generalizations of a theorem of Vaught (English)
0 references
1990
0 references
The abstract reads as follows: ``This paper deals with the cylindric algebraic version of Vaught's theorem on the existence of prime models of atomic theories. It is proved that the algebraic version proved by Serény, which states that under certain conditions every isomorphism between two cylindric set algebras (Cs's) is a lower base-isomorphism, extends the generalized cylindrical algebras (Gs's) although it does not extend to generalized weak cylindric set algebras (Gws's); indeed, it is not true for weak cylindric set algebras (Ws's).''
0 references
cylindric algebraic version of Vaught's theorem
0 references
existence of prime models of atomic theories
0 references
base-isomorphism
0 references
generalized cylindrical algebras
0 references