Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
From MaRDI portal
Publication:4767312
DOI10.1016/0003-4843(71)90015-5zbMath0281.02052OpenAlexW2017769265MaRDI QIDQ4767312
Publication date: 1971
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(71)90015-5
Related Items (76)
Superstable groups ⋮ An extension of Elton’s ℓ₁ⁿ theorem to complex Banach spaces ⋮ Magidor-Malitz quantifiers in modules ⋮ The connection between cardinalities of formular subsets and the stability of formulas ⋮ Properties of Elementary Embeddability in Model Theory ⋮ EXAMPLES IN DEPENDENT THEORIES ⋮ A conjecture of Shelah ⋮ Continuous and random Vapnik-Chervonenkis classes ⋮ Partially ordered sets and the independence property ⋮ Properties of m-types in stable theories ⋮ Instability and Theories with Few Models ⋮ The Theory of Ordered Abelian Groups does not have the Independence Property ⋮ Toward a model theory for transseries ⋮ Vapnik-Chervonenkis density in some theories without the independence property. II ⋮ Stability theory and set existence axioms ⋮ Toward classifying unstable theories ⋮ One theorem of Zil′ber's on strongly minimal sets ⋮ Shelah rank for Boolean algebras and some application to elementary theories. I ⋮ Strongly NIP almost real closed fields ⋮ Pathological examples of structures with o‐minimal open core ⋮ Rings of real-valued continuous functions. II ⋮ Categorical positive Horn theories ⋮ A non-two-cardinal set of stable types ⋮ Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces ⋮ Theories with a two-cardinal formula ⋮ Rank functions in stable theories ⋮ Number of countable models of a countable complete theory ⋮ ℵ0-categorical modules ⋮ Categorical Horn classes. I ⋮ Pseudo-linear algebra over a division ring ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ Les beaux automorphismes. (The beautiful automorphisms) ⋮ Model-interpretability into trees and applications ⋮ Definably amenable NIP groups ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ On non-forking spectra ⋮ Idéaux et types sur les corps séparablement clos ⋮ NIP for some pair-like theories ⋮ Aggregate operators in constraint query languages ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ Categorical Horn classes. II ⋮ Paires de structures stables ⋮ Differentially closed fields ⋮ On models with power-like orderings ⋮ On theories with Ehrenfeucht's property ⋮ Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) ⋮ Notes on the stability of separably closed fields ⋮ Ranks and definability in superstable theories ⋮ A two cardinal theorem for sets of formulas in a stable theory ⋮ The fine spectrum of a variety ⋮ Hanf number of omitting type for simple first-order theories ⋮ \(\aleph_0\)-categorical stable groups ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ The stability function of a theory ⋮ ERDŐS AND SET THEORY ⋮ \(\aleph_0\)-categoricity and stability of rings ⋮ Stability theory and Algebra ⋮ Independence in Model Theory ⋮ On the Number of Squares in a Group ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ On universal Horn classes categorical in some infinite power ⋮ Linear orders in NIP structures ⋮ The number of non-isomorphic models of an unstable first-order theory ⋮ On the Existence of Saturated Models of Stable Theories ⋮ On the density of families of sets ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Undecidability of the Theory of Abelian Groups with a Subgroup ⋮ Dividing lines in unstable theories and subclasses of Baire 1 functions ⋮ Principles for normalization of formulas ⋮ Spectrum of quasitranscendental theories ⋮ Forking types and rank functions in stable theories ⋮ \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures ⋮ Rosenthal compacta and NIP formulas ⋮ Classification of superstable theories by rank functions ⋮ Fundamentals of forking ⋮ Preservation of saturation and stability in a variety of nilpotent groups
This page was built for publication: Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
