Describing groups

DOI10.1090/proc/13458zbMath1423.03150arXiv1512.03729OpenAlexW4239460493MaRDI QIDQ2964051

Meng-Che Ho

Publication date: 22 February 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.03729

Mathematics Subject Classification ID

General structure theorems for groups (20E34) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

On optimal Scott sentences of finitely generated algebraic structures ⋮ AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ Computable Scott sentences for quasi-Hopfian finitely presented structures ⋮ Complexity of Scott sentences ⋮ Scott sentences for certain groups ⋮ Finitely generated groups are universal among finitely generated structures ⋮ SCOTT COMPLEXITY OF COUNTABLE STRUCTURES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Index sets and Scott sentences
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Computable structures and the hyperarithmetical hierarchy
• Scott sentences for certain groups
• Convergence of Baumslag-Solitar groups.
• Describing free groups
• Index sets of computable structures
• Invariant sets in topology and logic
• The Invariant ∏ 0 α Separation Principle
• ON CO-HOPFIAN NILPOTENT GROUPS
• The effective Borel hierarchy
• Computable Algebra, General Theory and Theory of Computable Fields