Externally definable sets and dependent pairs

DOI10.1007/s11856-012-0061-9zbMath1335.03031arXiv1007.4468OpenAlexW2284151393WikidataQ114695971 ScholiaQ114695971MaRDI QIDQ1955748

Pierre Simon, Artem Chernikov

Publication date: 18 June 2013

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

model theoryexternally definable setsNIP theorieshonest definitions

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Related Items (31)

Externally definable quotients and NIP expansions of the real ordered additive group ⋮ Generic trivializations of geometric theories ⋮ The canonical topology on dp-minimal fields ⋮ Automata and tame expansions of \((\mathbb{Z}, +)\) ⋮ Distality in valued fields and related structures ⋮ Non-forking and preservation of NIP and dp-rank ⋮ Dp-finite fields. I(A): The infinitesimals ⋮ Theories without the tree property of the second kind ⋮ The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two ⋮ Algebraic numbers with elements of small height ⋮ STABILIZERS, GROUPS WITH -GENERICS, AND PRC FIELDS ⋮ Expansions of the p‐adic numbers that interpret the ring of integers ⋮ Teaching and Compressing for Low VC-Dimension ⋮ Geometric structures with a dense independent subset ⋮ Weakly minimal groups with a new predicate ⋮ ON THE NUMBER OF DEDEKIND CUTS AND TWO-CARDINAL MODELS OF DEPENDENT THEORIES ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ Elementary classes of finite VC-dimension ⋮ Definably amenable NIP groups ⋮ Open core and small groups in dense pairs of topological structures ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Dense codense predicates and the NTP₂ ⋮ NIP Henselian valued fields ⋮ Fields with a dense-codense linearly independent multiplicative subgroup ⋮ The Marker-Steinhorn theorem via definable linear orders ⋮ Labeled Compression Schemes for Extremal Classes ⋮ MODEL THEORY AND MACHINE LEARNING ⋮ Externally definable sets and dependent pairs II ⋮ Some Themes Around First Order Theories Without the Independence Property ⋮ External definability and groups in NIP theories

Cites Work

• Unnamed Item
• Unnamed Item
• Strongly dependent theories
• NIP for some pair-like theories
• On lovely pairs of geometric structures
• Dependent first order theories, continued
• Stable theories with a new predicate
• Dependent pairs
• The independence property in generalized dense pairs of structures
• Paires de structures stables
• The real field with the rational points of an elliptic curve
• Dependence and isolated extensions
• Paires de structures O-minimales
• Stability theory, permutations of indiscernibles, and embedded finite models
• T-convexity and tame extensions
• A monotonicity theorem for dp-minimal densely ordered groups
• A note on stable sets, groups, and theories with NIP
• Local homogeneity

This page was built for publication: Externally definable sets and dependent pairs