Compactness and Independence in Non First Order Frameworks

DOI10.2178/BSL/1107959498MaRDI QIDQ3370626zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov

Publication date 8 February 2006

Published in The 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

analytic structurescompactnesshyperimaginarieslovely pairspositive model theorysimplicitysurvey

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)

Recommendations

• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Lovely pairs of models: the non first order case
• Positive results in abstract model theory: a theory of compact logics
• The independence property in generalized dense pairs of structures

Cites work

• Categoricity for abstract classes with amalgamation
• Coordinatisation and canonical bases in simple theories
• Forking in Simple Unstable Theories
• Galois groups of first order theories
• Group configurations and germs in simple theories
• scientific article; zbMATH DE number 1272922 (Why is no real title available?)
• Imaginaries in Hilbert spaces
• Lovely pairs of models
• Lovely pairs of models: the non first order case
• Nonstandard hulls of Banach spaces
• On the fine structure of the polygroup blow-up
• Paires de structures stables
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Simple theories
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• The Group Configuration in Simple Theories and Its Applications
• Thickness, and a categoric view of type-space functors

Cited in

(6)

• On positive local combinatorial dividing-lines in model theory
• On the weak non-finite cover property and the n-tuples of simple structures
• On supersimplicity and lovely pairs of cats
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Spaces of types in positive model theory
• Lovely pairs of models: the non first order case

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

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