Compactness and Independence in Non First Order Frameworks

DOI10.2178/bsl/1107959498zbMath1098.03043OpenAlexW2057895917MaRDI QIDQ3370626

Itaï Ben Yaacov

Publication date: 8 February 2006

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.534.1348

zbMATH Keywords

surveycompactnesssimplicitylovely pairsanalytic structurespositive model theoryhyperimaginaries

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (1)

On supersimplicity and lovely pairs of cats

Cites Work

• Unnamed Item
• Imaginaries in Hilbert spaces
• Nonstandard hulls of Banach spaces
• Categoricity for abstract classes with amalgamation
• Simple theories
• Lovely pairs of models
• On the fine structure of the polygroup blow-up
• GALOIS GROUPS OF FIRST ORDER THEORIES
• Paires de structures stables
• The Group Configuration in Simple Theories and Its Applications
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Group configurations and germs in simple theories
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Forking in Simple Unstable Theories
• Thickness, and a categoric view of type-space functors
• Coordinatisation and canonical bases in simple theories
• Lovely pairs of models: the non first order case

This page was built for publication: Compactness and Independence in Non First Order Frameworks