Dependent pairs

DOI10.2178/JSL/1305810753MaRDI QIDQ3011109zbMATH OpenOpenAlexFDO

Authors Ayhan Günaydin, Philipp Hieronymi

Publication date 28 June 2011

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

dense pairsMann propertyo-minimal structurespairs of ordered structuresreal fieldtame pairs

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Abstract: We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether it is dense or discrete.

Recommendations

• Rewriting Techniques and Applications
• Dependency relations
• Context-Sensitive Dependency Pairs
• Context-sensitive dependency pairs
• Improving dependency pairs
• Dependence and independence
• Nondictatorially independent pairs
• Relative termination via dependency pairs
• Dependence polynomials
• Dependence and isolated extensions

Cites work

• T-convexity and tame extensions II
• Defining additive subgroups of the reals from convex subsets
• Defining the set of integers in expansions of the real field by a closed discrete set
• Linear equations in variables which lie in a multiplicative group
• The field of reals with a predicate for the powers of two
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• The real field with an irrational power function and a dense multiplicative subgroup
• Thorn independence in the field of real numbers with a small multiplicative group
• Weakly o-minimal structures and real closed fields

Cited in

(14)

• Wild theories with o-minimal open core
• Externally definable sets and dependent pairs
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Fields with a dense-codense linearly independent multiplicative subgroup
• Non-standard lattices and o-minimal groups
• Dependent Classes E72
• The independence property in generalized dense pairs of structures
• On non-compact p-adic definable groups
• Distal and non-distal pairs
• Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
• A note on the cardinality of definable families of sets in o-minimal structures
• dp and other minimalities
• Distality for the asymptotic couple of the field of logarithmic transseries
• 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: Dependent pairs

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