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

DOI10.1112/JLMS/JDQ058MaRDI QIDQ3074537zbMATH OpenOpenAlexFDO

Authors Philipp Hieronymi

Publication date 9 February 2011

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

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

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)

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.

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

Cited in

(9)

• Fields with a dense-codense linearly independent multiplicative subgroup
• On expansions of the real field by complex subgroups
• Distal and non-distal pairs
• Structure theorems in tame expansions of o-minimal structures by a dense set
• The model theory of the field of reals with a subgroup of the unit circle
• Dependent pairs
• Thorn independence in the field of real numbers with a small multiplicative group
• 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

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)