Simple unstable theories

DOI10.1016/0003-4843(80)90009-1zbMath0489.03008OpenAlexW2013748860MaRDI QIDQ3950543

Saharon Shelah

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90009-1

zbMATH Keywords

forkingindiscernible sequencessimple theoriesnon-simple theories

Mathematics Subject Classification ID

Consistency and independence results (03E35) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (84)

Mekler's construction preserves \(CM\)-triviality ⋮ Simple homogeneous models ⋮ Classification of first order theories which have a structure theorem ⋮ Espaces ultramétriques ⋮ Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\) ⋮ 1998–1999 Winter Meeting of the Association for Symbolic Logic ⋮ Internality and interpretable automorphism groups in simple theories ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Measures and forking ⋮ Banach spaces and groups -- order properties and universal models ⋮ Uncountable categoricity for gross models ⋮ AN INDEPENDENCE THEOREM FOR NTP2 THEORIES ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Dependent first order theories, continued ⋮ A note on weak dividing ⋮ Model theory of finite fields and pseudo-finite fields ⋮ Simple theories ⋮ Definable envelopes in groups having a simple theory ⋮ Toward classifying unstable theories ⋮ On Kim-independence ⋮ Theories without the tree property of the second kind ⋮ Constructing regular ultrafilters from a model-theoretic point of view ⋮ Mekler's construction and generalized stability ⋮ Invariant measures in simple and in small theories ⋮ An AEC framework for fields with commuting automorphisms ⋮ Using ultrapowers to compare continuous structures ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ Nonexistence of universal orders in many cardinals ⋮ Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c. ⋮ Simple generic structures ⋮ A preservation theorem for theories without the tree property of the first kind ⋮ THE TURING DEGREES AND KEISLER’S ORDER ⋮ Model theory of Steiner triple systems ⋮ Notions around tree property 1 ⋮ On theories of random variables ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ Definability in low simple theories ⋮ A dividing line within simple unstable theories ⋮ Forking and Dividing in NTP₂ theories ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ Strongly dependent theories ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Automorphism–invariant measures on ℵ₀-categorical structures without the independence property ⋮ More on tree properties ⋮ Unnamed Item ⋮ The Prospects for Mathematical Logic in the Twenty-First Century ⋮ On non-forking spectra ⋮ Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles ⋮ From Stability to Simplicity ⋮ On the existence of universal models ⋮ A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING ⋮ Strict independence ⋮ \(n\)-simple theories ⋮ The Manin-Mumford conjecture and the model theory of difference fields ⋮ Existentially closed exponential fields ⋮ The geometry of 1-based minimal types ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Simple-like independence relations in abstract elementary classes ⋮ Coordinatisation and canonical bases in simple theories ⋮ Ordered asymptotic classes of finite structures ⋮ Criteria for exact saturation and singular compactness ⋮ Supersimplicity and quadratic extensions ⋮ Independence in Model Theory ⋮ 10th Asian Logic Conference ⋮ Further cardinal arithmetic ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ The amalgamation spectrum ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Groups and fields with $\operatorname {NTP}_{2}$ ⋮ Stable group theory and approximate subgroups ⋮ On densities of box products ⋮ Generic structures and simple theories ⋮ Residue field domination in real closed valued fields ⋮ The number of types in simple theories ⋮ Strongly determined types ⋮ Elliptic and hyperelliptic curves over supersimple fields in characteristic 2 ⋮ Definability and definable groups in simple theories ⋮ A note on Lascar strong types in simple theories ⋮ WEAK CANONICAL BASES IN NSOP THEORIES ⋮ Generic pairs of SU-rank 1 structures ⋮ A separation theorem for simple theories ⋮ Model theory of difference fields ⋮ Supersimple theories

This page was built for publication: Simple unstable theories