An introduction to computable model theory on groups and fields
From MaRDI portal
Publication:2882823
DOI10.1515/gcc.2011.002zbMath1258.03040MaRDI QIDQ2882823
Publication date: 7 May 2012
Published in: Groups – Complexity – Cryptology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/gcc.2011.002
word problem; decidability; computability; computable field; computable model theory; computable group
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03C57: Computable structure theory, computable model theory
12L12: Model theory of fields
Related Items
A structure of punctual dimension two, Algebraic structures computable without delay, Non-coding enumeration operators, Categorical linearly ordered structures, Adapting Rabin’s Theorem for Differential Fields
Cites Work