ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS

DOI10.1070/RM1979V034N02ABEH002906MaRDI QIDQ3864499zbMATH OpenFDO

Authors V. Ya. Belyaev, Michael A. Taitslin

Publication date 1979

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/RM1979V034N02ABEH002906

zbMATH Keywords

associative ringselementary definabilityexistentially closed systemsfinitely axiomatizableinverse semigroupsnon-elementary logicsrecursive functionsrich theory

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Categoricity and completeness of theories (03C35) Models of other mathematical theories (03C65) Model theory (03C99) Recursive functions and relations, subrecursive hierarchies (03D20) Generalizations (16Y99) Semigroups (20M99)

Cited in

(2)

• Combinatorial extensions of radical, nil, and locally nilpotent algebras
• Unsolvable algorithmic problems for semigroups, groups and rings

This page was built for publication: ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3864499)