Definable Sets in Mann Pairs

DOI10.1080/00927872.2010.489919zbMath1243.03054OpenAlexW2072209673MaRDI QIDQ3098164

Ayhan Günaydın, L. P. D. van den Dries

Publication date: 17 November 2011

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927872.2010.489919

zbMATH Keywords

quantifier eliminationdefinabilityMann pairs

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09) Applications of model theory (03C98) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Interpretable groups in Mann pairs

Cites Work

• Mann pairs
• Vanishing sums in function fields
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• On linear relations between roots of unity