The real field with an irrational power function and a dense multiplicative subgroup

DOI10.1112/JLMS/JDQ058zbMATH Open1220.03032arXiv0912.2469OpenAlexW2155813087MaRDI QIDQ3074537FDOQ3074537

Authors: Philipp Hieronymi 

Publication date: 9 February 2011

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Abstract: This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a quantifier elimination result will be shown for the real field with an irrational power function and a dense multiplicative subgroup of finite rank whose elements are algebraic over the field generated by the irrational power. Moreover, every open set definable in this structure is already definable in the reduct given by just the real field and the irrational power function.

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

Recommendations

• On expansions of the real field by complex subgroups
• Fields with a dense-codense linearly independent multiplicative subgroup
• Expansions of the real field with power functions
• Expansions of subfields of the real field by a discrete set
• Thorn independence in the field of real numbers with a small multiplicative group

zbMATH Keywords

finite ranko-minimal expansion of the real fielddense multiplicative subgroupirrational power functionSchanuel conditions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Model theory (number-theoretic aspects) (11U09)

Cited In (9)

• Structure theorems in tame expansions of o-minimal structures by a dense set
• Dependent pairs
• Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
• The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
• Fields with a dense-codense linearly independent multiplicative subgroup
• The model theory of the field of reals with a subgroup of the unit circle
• On expansions of the real field by complex subgroups
• Thorn independence in the field of real numbers with a small multiplicative group
• Distal and non-distal pairs

This page was built for publication: The real field with an irrational power function and a dense multiplicative subgroup

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