Non-isolated types in stable theories

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

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

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

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)

Cites Work

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

Cited In (10)

• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• A dichotomy theorem for regular types
• Powerful types in small theories
• Principal type-schemes and condensed detachment
• On generically stable types in dependent theories
• Countable models of trivial theories which admit finite coding
• Title not available (Why is that?)
• On the \(n\)-uniqueness of types in rosy theories
• Simple groups and the number of countable models
• Omitting types for stable ccc 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)