Non-isolated types in stable theories

DOI10.1016/J.APAL.2006.05.014zbMATH Open1112.03028OpenAlexW2047875328MaRDI QIDQ866554FDOQ866554

Authors Predrag Tanović

Publication date 14 February 2007

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

Full work available at URL https://doi.org/10.1016/j.apal.2006.05.014

zbMATH Keywords

superstable theoryregular typesmall theoryfundamental orderLascar rankstrongly non-isolated type

Mathematics Subject Classification ID

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

Recommendations

• On generically stable types in dependent theories
• On definability of types and relative stability
• Invariant types in NIP theories
• Regular types in nonmultidimensional ω-stable theories
• scientific article; zbMATH DE number 67682
• Omitting types for stable ccc theories
• Forking types and rank functions in stable theories
• Type-amalgamation properties and polygroupoids in stable theories
• On non-trivially decomposable types
• Definable and invariant types in enrichments of NIP theories

Cites work

• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• scientific article; zbMATH DE number 935054 (Why is no real title available?)
• A model and its subset
• A new strongly minimal set
• A proof of Vaught's conjecture for \(\omega\)-stable theories
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Almost orthogonal regular types
• Countable models of small stable theories
• Countable models of superstable theories
• Countable models of trivial theories which admit finite coding
• Meager forking
• On atomic or saturated sets
• On the number of countable models of stable theories
• On the number of models of uncountable theories
• On the number of nonisomorphic models of size |T|
• ℳ-rank and meager types

Cited in

(16)

• Principal type-schemes and condensed detachment
• A dichotomy theorem for regular types
• Countable models of trivial theories which admit finite coding
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• A dichotomy for \(D\)-rank 1 types in simple theories
• Asymmetric \(RK\)-minimal types
• scientific article; zbMATH DE number 956485 (Why is no real title available?)
• Omitting types for stable ccc theories
• Simple groups and the number of countable models
• Stable types in rosy theories
• Conditions for non-symmetric relations of semi-isolation
• scientific article; zbMATH DE number 175639 (Why is no real title available?)
• Powerful types in small theories
• On the \(n\)-uniqueness of types in rosy theories
• Asymmetric regular types
• On generically stable types in dependent theories

This page was built for publication: Non-isolated types in stable theories

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