The Friedman embedding theorem.
Publication:645257
DOI10.1016/j.jalgebra.2011.02.033zbMath1233.20030MaRDI QIDQ645257
Publication date: 8 November 2011
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgebra.2011.02.033
Borel equivalence relations; combinatorial group theory; countable groups; recursion theory; 2-generator groups; Turing degrees; Higman-Neumann-Neumann embedding theorem; Higman-Neumann-Neumann extensions
20E07: Subgroup theorems; subgroup growth
20F05: Generators, relations, and presentations of groups
03E15: Descriptive set theory
20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03D40: Word problems, etc. in computability and recursion theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Borel determinacy
- On the complexity of the isomorphism relation for finitely generated groups
- The space of finitely generated groups
- Embeddings into hopfian groups
- A remark on the Higman–Neumann–Neumann embedding theorem
- DEGREES OF GROWTH OF FINITELY GENERATED GROUPS, AND THE THEORY OF INVARIANT MEANS
- Embedding Countable Groups in 2-Generator Groups
- The axiom of determinateness and reduction principles in the analytical hierarchy
- Embedding Theorems for Groups
- Borel equivalence relations and classifications of countable models