Lovely pairs of models

DOI10.1016/S0168-0072(03)00018-6zbMath1030.03026MaRDI QIDQ1400605

Anand Pillay, Evgueni Vassiliev, Itaï Ben Yaacov

Publication date: 13 August 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

ForkingPairSimple theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items (34)

Weakly one-based geometric theories ⋮ Lovely pairs of models: the non first order case ⋮ AN INDEPENDENCE THEOREM FOR NTP2 THEORIES ⋮ Generic trivializations of geometric theories ⋮ Imaginaries in pairs of algebraically closed fields ⋮ Orbits of subsets of the monster model and geometric theories ⋮ A dichotomy for \(D\)-rank 1 types in simple theories ⋮ A note on the non‐forking‐instances topology ⋮ On omega-categorical simple theories ⋮ A preservation theorem for theories without the tree property of the first kind ⋮ Supersimple structures with a dense independent subset ⋮ Superrosiness and dense pairs of geometric structures ⋮ Geometric structures with a dense independent subset ⋮ On lovely pairs of geometric structures ⋮ ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES ⋮ On uncountable hypersimple unidimensional theories ⋮ Dimensions, matroids, and dense pairs of first-order structures ⋮ EQUATIONAL THEORIES OF FIELDS ⋮ The independence property in generalized dense pairs of structures ⋮ Interpretable groups in Mann pairs ⋮ Continuity of SU-rank in unidimensional supersimple theories ⋮ On countable simple unidimensional theories ⋮ On analyzability in the forking topology for simple theories ⋮ Dense codense predicates and the NTP₂ ⋮ Compactness and Independence in Non First Order Frameworks ⋮ On the weak non-finite cover property and the n-tuples of simple structures ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ On the forking topology of a reduct of a simple theory ⋮ Ample pairs ⋮ Tame expansions of \({\omega}\)-stable theories and definable groups ⋮ On supersimplicity and lovely pairs of cats ⋮ On dividing chains in simple theories ⋮ Beautiful groups ⋮ On lovely pairs and the \((\exists y\in P)\) quantifier

Cites Work

• Unnamed Item
• Classification theory and the number of non-isomorphic models.
• The number of types in simple theories
• Simple theories
• Generic pairs of SU-rank 1 structures
• Definability in low simple theories
• Hyperimaginaries and automorphism groups
• Paires de structures stables
• Local superssimplicity and related concepts
• Lascar strong types in some simple theories
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• APPLICATIONS OF THE GROUP CONFIGURATION THEOREM IN SIMPLE THEORIES
• Supersimple theories
• Forking in Simple Unstable Theories
• Forking and fundamental order in simple theories
• Coordinatisation and canonical bases in simple theories
• A supersimple nonlow theory

This page was built for publication: Lovely pairs of models