Externally definable sets and dependent pairs

DOI10.1007/s11856-012-0061-9zbMath1335.03031arXiv1007.4468WikidataQ114695971 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 theory; externally definable sets; NIP theories; honest definitions

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item