Characterizing o-minimal groups in tame expansions of o-minimal structures

DOI10.1017/S1474748019000392zbMATH Open1473.03020arXiv1805.11500OpenAlexW2957720619MaRDI QIDQ5854902FDOQ5854902

Authors: Pantelis E. Eleftheriou 

Publication date: 12 March 2021

Published in: Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Abstract: We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $mathcalN$ be an expansion of an o-minimal structure $mathcalM$ that admits a good dimension theory. The setting includes dense pairs of o-minimal structures, expansions of $mathcalM$ by a Mann group, or by a subgroup of an elliptic curve, or a dense independent set. We prove: (1) a Weil's group chunk theorem that guarantees a definable group with an o-minimal group chunk is o-minimal, (2) a full characterization of those definable groups that are o-minimal as those groups that have maximal dimension; namely their dimension equals the dimension of their topological closure, (3) if $mathcalN$ expands $mathcalM$ by a dense independent set, then every definable group is o-minimal.

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

Recommendations

• Structure theorems in tame expansions of o-minimal structures by a dense set
• Groups definable in linear o-minimal structures: the non-compact case
• Structure theorems for o-minimal expansions of groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• On groups and fields definable in o-minimal structures

zbMATH Keywords

independent setdefinable groupo-minimalitydimension functiontame expansion

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Other classical first-order model theory (03C68)

Cites Work

• Title not available (Why is that?)
• The Mordell-Lang conjecture for function fields
• Fields with a dense-codense linearly independent multiplicative subgroup
• Thorn independence in the field of real numbers with a small multiplicative group
• Expansions of o-minimal structures by dense independent sets
• Structures having o-minimal open core
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Geometric structures with a dense independent subset
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• The rational points of a definable set
• A growth dichotomy for o-minimal expansions of ordered groups
• Groups, measures, and the NIP
• Definable groups as homomorphic images of semi-linear and field-definable groups
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• An open mapping theorem for o-minimal structures
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Interpretable groups are definable
• Returning to semi-bounded sets
• The model theory of the field of reals with a subgroup of the unit circle
• Solution of a problem of Tarski
• Title not available (Why is that?)
• Expansions which introduce no new open sets
• Groups, group actions and fields definable in first-order topological structures
• Weil's group chunk theorem: A topological setting
• The real field with the rational points of an elliptic curve
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Open core and small groups in dense pairs of topological structures
• Non-standard lattices and o-minimal groups
• The choice property in tame expansions of o‐minimal structures

Cited In (7)

• Structure theorems in tame expansions of o-minimal structures by a dense set
• Structure theorems for o-minimal expansions of groups
• Definable groups in dense pairs of geometric structures
• The choice property in tame expansions of o‐minimal structures
• Title not available (Why is that?)
• Companionability characterization for the expansion of an o-minimal theory by a dense subgroup
• Strong cell decomposition property in o-minimal traces

This page was built for publication: Characterizing o-minimal groups in tame expansions of o-minimal structures

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