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 ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS - MaRDI portal

ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS

From MaRDI portal

Publication:3864499

Jump to:navigation, search

DOI10.1070/RM1979v034n02ABEH002906zbMath0428.03033MaRDI QIDQ3864499

V. Ya. Belyaev, Michael A. Taitslin

Publication date: 1979

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

zbMATH Keywords

inverse semigroups elementary definability recursive functions associative rings finitely axiomatizable existentially closed systems non-elementary logics rich theory

Mathematics Subject Classification ID

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

Related Items

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3864499&oldid=17482585"