Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On generalizations of a theorem of Vaught - MaRDI portal

On generalizations of a theorem of Vaught (Q2641299)

From MaRDI portal





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

    Identifiers