The model theory of the field of reals with a subgroup of the unit circle

DOI10.1112/JLMS/JDN037zbMath1155.03018OpenAlexW2088709272MaRDI QIDQ3543768

Oleg V. Belegradek, B. I. Zil'ber

Publication date: 4 December 2008

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

Full work available at URL: https://doi.org/10.1112/jlms/jdn037

zbMATH Keywords

quantifier eliminationunit circlemodel theoryfield of reals

Mathematics Subject Classification ID

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

Related Items (17)

Definable groups in dense pairs of geometric structures ⋮ On expansions of the real field by complex subgroups ⋮ Product cones in dense pairs ⋮ Expansions of the p‐adic numbers that interpret the ring of integers ⋮ Weakly minimal groups with a new predicate ⋮ Structure theorems in tame expansions of o-minimal structures by a dense set ⋮ Expansions which introduce no new open sets ⋮ Structures having o-minimal open core ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Defining the set of integers in expansions of the real field by a closed discrete set ⋮ NIP for some pair-like theories ⋮ THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ Fields with a dense-codense linearly independent multiplicative subgroup ⋮ ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS ⋮ CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES ⋮ Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)

This page was built for publication: The model theory of the field of reals with a subgroup of the unit circle