Ranks and definability in superstable theories

DOI10.1007/BF02757234zbMath0326.02038MaRDI QIDQ1225615

Daniel Lascar

Publication date: 1976

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items

Categoricity and ranks, Superstable groups, Canonical forking in AECs, Forking, normalization and canonical bases, Superstable groups of finite rank without pseudoplanes, Countable Models of Stable Theories, Weakly Definable Types, Lascar rank and the finite cover property for complete theories of unars, Pseudoprojective strongly minimal sets are locally projective, Modules and Stability Theory, Properties of m-types in stable theories, Superstable differential fields, A note on nonmultidimensional superstable theories, Stability theory and set existence axioms, One theorem of Zil′ber's on strongly minimal sets, The geometry of weakly minimal types, On nontrivial types of U-rank 1, Groups definable in two orthogonal sorts, A model and its subset, On two hierarchies of dimensions, A dichotomy theorem for regular types, Theories with a two-cardinal formula, Rank functions in stable theories, Number of countable models of a countable complete theory, The Mordell-Lang conjecture for function fields, Non-totally transcendental unidimensional theories, Locally finite weakly minimal theories, Strong minimality and the \(j\)-function, Kueker's conjecture for stable theories, Coordinatization in Superstable Theories. I. Stationary Types, Groupes stables, avec types génériques réguliers, An introduction to forking, Locally modular theories of finite rank, Some applications of ordinal dimensions to the theory of differentially closed fields, Independence in Model Theory, Unidimensional theories are superstable, Conservative extensions of models of arithmetic, Coordinatization in Superstable Theories. II, Principles for normalization of formulas, Rings of finite representation type and modules of finite Morley rank, Théories d'arbres, Forking types and rank functions in stable theories, Ultrafilters and types on models of arithmetic, Strongly minimal countably categorical theories. II, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Classification of superstable theories by rank functions, Invariants for \(\omega\)-categorical, \(\omega\)-stable theories, Fundamentals of forking

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Countable models of \(\aleph_ 1\)-categorical theories
• Stable theories
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Two conjectures regarding the stability of ω-categorical theories
• Categoricity in Power
• Remarks on some theorems of Keisler
• On strongly minimal sets
• Ultrafilters on a countable set
• On the categoricity in power of elementary deductive systems and some related problems
• Elementary properties of Abelian groups