Definability in algebraically closed systems
From MaRDI portal
Publication:1244219
DOI10.1007/BF01668554zbMath0373.02035MaRDI QIDQ1244219
Publication date: 1976
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/186886
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Categoricity and completeness of theories (03C35) Metamathematical considerations in group theory (20A10)
Related Items (3)
Higman's embedding theorem in a general setting and its application to existentially closed algebras ⋮ Infinite groups ⋮ Model-theoretic and algorithmic questions in group theory
Cites Work
This page was built for publication: Definability in algebraically closed systems