Thorn independence in the field of real numbers with a small multiplicative group

DOI10.1016/J.APAL.2007.06.002MaRDI QIDQ2463479zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 12 December 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

dense pairsMann propertyo-minimal theoriesrosy theoriessmall sets

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Abstract: We characterize thorn-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.

Review text

Building on results of \textit{L. van den Dries} and \textit{A. Günaydin} in [``The fields of real and complex numbers with a small multiplicative group, Proc. Lond. Math. Soc. (3) 93, No. 1, 43--81 (2006; Zbl 1101.03028)], the authors investigate the model theory of pairs \((R, G)\) where \(R\) is a real closed field, and \(G\) is a dense multiplicative subgroup of \(R^{>0}\) with the Mann property and such that for each prime number \(p\), the subgroup of the \(p\)th powers in \(G\) has finite index in \(G\). Among others, they show that such structures are super-rosy and eliminate imaginaries up to codes for small sets.

Recommendations

• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• Fields with a dense-codense linearly independent multiplicative subgroup
• On expansions of the real field by complex subgroups
• Non-rosy expansions of the field of real numbers
• The real field with an irrational power function and a dense multiplicative subgroup

Cites work

• A trichotomy theorem for o-minimal structures
• Generic pairs of SU-rank 1 structures
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 858680 (Why is no real title available?)
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• scientific article; zbMATH DE number 2236700 (Why is no real title available?)
• Properties and consequences of Thorn-independence
• Pseudoprojective strongly minimal sets are locally projective
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP

Cited in

(19)

• On coincidence of dimensions in closed ordered differential fields
• Open core and small groups in dense pairs of topological structures
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Fields with a dense-codense linearly independent multiplicative subgroup
• Small sets in Mann pairs
• Non-standard lattices and o-minimal groups
• Expansions of o-minimal structures by dense independent sets
• Weakly one-based geometric theories
• Dependent pairs
• The real field with an irrational power function and a dense multiplicative subgroup
• Structures having o-minimal open core
• Non-rosy expansions of the field of real numbers
• NIP for some pair-like theories
• Expansions which introduce no new open sets
• Properties and consequences of Thorn-independence
• Characterizing o-minimal groups in tame expansions of o-minimal structures
• Product cones in dense pairs
• Superrosiness and dense pairs of geometric structures
• On lovely pairs of geometric structures

This page was built for publication: Thorn independence in the field of real numbers with a small multiplicative group

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