Fields definable in the free group

DOI10.1090/BTRAN/41MaRDI QIDQ5243155zbMATHOpenAlexWikidataFDO

Authors Ayala Dente Byron, Rizos Sklinos

Publication date 15 November 2019

Published in Transactions of the American Mathematical Society, Series B (Search for Journal in Brave)

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

zbMATH Keywords

free groupsBass-Serre theoryhyperbolic towersdefinable setsgeometric stability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We prove that no infinite field is definable in the theory of the free group

Recommendations

• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Definable sets in a hyperbolic group.
• Groups definable in separably closed fields
• On groups and fields interpretable in torsion-free hyperbolic groups
• Algebraic and definable closure in free groups

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 3957072 (Why is no real title available?)
• scientific article; zbMATH DE number 3575812 (Why is no real title available?)
• A note on CM-triviality and the geometry of forking
• Actions of finitely generated groups on \(\mathbb{R}\)-trees.
• Definable sets in a hyperbolic group.
• Degenerations of the hyperbolic space
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Elementary theory of free non-abelian groups.
• FORKING IN THE FREE GROUP
• Forking and JSJ decompositions in the free group
• Implicit function theorem over free groups.
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Notes on Sela's work: Limit groups and Makanin-Razborov diagrams
• On groups and fields interpretable in torsion-free hyperbolic groups
• On the generic type of the free group
• Some remarks on one-basedness
• The free group does not have the finite cover property
• Topologie de Gromov équivariante, structures hyperboliques et arbres réels. (Equivariant Gromov topology, hyperbolic structures, and \({\mathbb{R}}\)-trees)

Cited in

(12)

• Fields interpretable in rosy theories
• Algebraic and definable closure in free groups
• Definable sets in a hyperbolic group.
• Model theory of fields with virtually free group actions
• Fields interpretable in the free group
• Some lower bounds on Shelah rank in the free group
• scientific article; zbMATH DE number 1789948 (Why is no real title available?)
• Groups definable in separably closed fields
• What does a group algebra of a free group ``know about the group?
• Sets, groups, and fields definable in vector spaces with a bilinear form
• Groups definable in local fields and pseudo-finite fields
• Definably compact groups definable in real closed fields

This page was built for publication: Fields definable in the free group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5243155)