Forking, normalization and canonical bases

DOI10.1016/0168-0072(86)90044-8zbMath0607.03010OpenAlexW2033237236MaRDI QIDQ1085155

Anand Pillay

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90044-8

zbMATH Keywords

forkingBooleanly closed set of stable formulascanonical base of a family of typesunstable theory

Mathematics Subject Classification ID

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

Related Items

A model and its subset: The uncountable case, Measures and forking, Stable theories, pseudoplanes and the number of countable models, On atomic or saturated sets, Stable types in rosy theories, Powerful types in small theories, Scott analysis of pseudotypes, Groups definable in local fields and pseudo-finite fields

Cites Work

• Unnamed Item
• Unnamed Item
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Fundamentals of forking
• Ranks and definability in superstable theories
• Classification theory and the number of non-isomorphic models
• On nontrivial types of U-rank 1
• An introduction to forking
• Forking and Pushouts in Modules
• Two conjectures regarding the stability of ω-categorical theories