Describing free groups
From MaRDI portal
Publication:2844726
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
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