Describing free groups

DOI10.1090/S0002-9947-2012-05456-0zbMath1302.03045MaRDI QIDQ2844726

Karen Lange, C. Safranski, J. Wallbaum, S. Quinn, Charles F. D. McCoy, Julia F. Knight, Jacob Carson, Andrey S. Morozov, Valentina S. Harizanov

Publication date: 19 August 2013

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

Full work available at URL: https://doi.org/10.1090/s0002-9947-2012-05456-0

zbMATH Keywords

free group; index set; infinitary language; computability-theoretic complexity

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

20E05: Free nonabelian groups

20K20: Torsion-free groups, infinite rank

03C75: Other infinitary logic

03C57: Computable structure theory, computable model theory

Related Items

Orders on magmas and computability theory, SCOTT COMPLEXITY OF COUNTABLE STRUCTURES, AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS, Complexity of Scott sentences, AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES, ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES, Index sets and Scott sentences, Scott sentences for certain groups, Using computability to measure complexity of algebraic structures and classes of structures, Detecting properties from descriptions of groups, Scott sentences for equivalence structures, On \(\Delta_2^0\)-categoricity of equivalence relations, Effectively categorical abelian groups, Computable Scott sentences for quasi-Hopfian finitely presented structures, Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis, Describing groups, On optimal Scott sentences of finitely generated algebraic structures

Cites Work

• Elementary theory of free non-abelian groups.
• Computable structures and the hyperarithmetical hierarchy
• Combinatorial group theory.
• Hyperbolicity of the complex of free factors.
• Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis
• Groupes stables, avec types génériques réguliers
• On the generic type of the free group
• Index sets of computable structures
• On genericity and weight in the free group
• Effective content of field theory