Defining additive subgroups of the reals from convex subsets
From MaRDI portal
Recommendations
- On expansions of the real field by complex subgroups
- Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
- Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
- The model theory of the field of reals with a subgroup of the unit circle
- Definability in the group of infinitesimals of a compact Lie group
Cites work
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Avoiding the projective hierarchy in expansions of the real field by sequences
- scientific article; zbMATH DE number 1187511 (Why is no real title available?)
- scientific article; zbMATH DE number 1444018 (Why is no real title available?)
- scientific article; zbMATH DE number 2222021 (Why is no real title available?)
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
- The Undecidability of Algebraic Rings and Fields
- THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
- Uniform first-order definitions in finitely generated fields
Cited in
(9)- Dependent pairs
- Expansions of o-minimal structures on the real field by trajectories of linear vector fields
- scientific article; zbMATH DE number 5015376 (Why is no real title available?)
- scientific article; zbMATH DE number 4159007 (Why is no real title available?)
- The model theory of the field of reals with a subgroup of the unit circle
- Defining the set of integers in expansions of the real field by a closed discrete set
- Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
- dp and other minimalities
- Addition and subtraction of homothety classes of convex sets
This page was built for publication: Defining additive subgroups of the reals from convex subsets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3182585)