Toward classifying unstable theories

DOI10.1016/0168-0072(95)00066-6zbMath0874.03043arXivmath/9508205OpenAlexW2021341336MaRDI QIDQ1923564

Saharon Shelah

Publication date: 14 October 1997

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

Full work available at URL: https://arxiv.org/abs/math/9508205

zbMATH Keywords

tree propertysimple theoryuniversal modelunstable theorystrong order properties

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (46)

A remark on strict independence relations ⋮ CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION ⋮ On properties of theories which preclude the existence of universal models ⋮ Between reduced powers and ultrapowers, II. ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Banach spaces and groups -- order properties and universal models ⋮ Forking and independence in o-minimal theories ⋮ MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ Theories without the tree property of the second kind ⋮ Constructing regular ultrafilters from a model-theoretic point of view ⋮ Model theoretic properties of the Urysohn sphere ⋮ Atomic saturation of reduced powers ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ The Calkin algebra is \(\aleph_1\)-universal ⋮ Edge distribution and density in the characteristic sequence ⋮ Notions around tree property 1 ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ On \(\vartriangleleft^{*}\)-maximality. ⋮ A dividing line within simple unstable theories ⋮ Independence Property and Hyperbolic Groups ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ A new look at interpretability and saturation ⋮ More on tree properties ⋮ Unnamed Item ⋮ More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) ⋮ Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles ⋮ Neostability in countable homogeneous metric spaces ⋮ General topology meets model theory, on 𝔭 and 𝔱 ⋮ On the existence of universal models ⋮ A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING ⋮ Remarks on generic stability in independent theories ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP₁ THEORY WITHOUT WEIGHT ω ⋮ The characteristic sequence of a first-order formula ⋮ DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS ⋮ Criteria for exact saturation and singular compactness ⋮ Realization of \(\varphi \)-types and Keisler's order ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION ⋮ Nondefinability of rings of integers in most algebraic fields ⋮ Some remarks on generic structures ⋮ WEAK CANONICAL BASES IN NSOP THEORIES ⋮ A separation theorem for simple theories ⋮ Club guessing and the universal models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Second-order quantifiers and the complexity of theories
• Around classification theory of models
• Remarks on Boolean algebras
• On saturation for a predicate
• The monadic theory of order
• Classification theory and the number of non-isomorphic models
• Groups definable in local fields and pseudo-finite fields
• Further cardinal arithmetic
• Simple unstable theories
• Vapnik-Chervonenkis Classes of Definable Sets
• Nonexistence of universal orders in many cardinals
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory

This page was built for publication: Toward classifying unstable theories