scientific article; zbMATH DE number 3641425

zbMath0413.03025MaRDI QIDQ4200049

V. Ya. Belyaev, Michael A. Taitslin

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inverse semigroupselementary definabilityrecursive functionsassociative ringsmodel-theoretic forcingfinitely axiomatizableexistentially closed systemsnon-elementary logicsrich 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

The comparison of the expressive power of first-order dynamic logics