Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory

Annals of Mathematical Logic 3 (3):271-362 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(71)90015-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Modules with few types over some finite-dimensional algebras.Mike Prest & Vera Puninskaya - 2002 - Journal of Symbolic Logic 67 (2):841-858.
Some model-theoretic results in the algebraic theory of quadratic forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
Independence, order, and the interaction of ultrafilters and theories.M. E. Malliaris - 2012 - Annals of Pure and Applied Logic 163 (11):1580-1595.
Model theoretic results for infinitely deep languages.Maaret Karttunen - 1982 - Bulletin of the Section of Logic 11 (1-2):1-3.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Model theoretic stability and definability of types, after A. grothendieck.Itaï Ben Yaacov - 2014 - Bulletin of Symbolic Logic 20 (4):491-496,.
Concepts of Logical Consequence.Darcy Allen Cutler - 1997 - Dissertation, The University of Western Ontario (Canada)
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
Model-theoretic properties characterizing Peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.

Analytics

Added to PP
2014-01-17

Downloads
15 (#926,042)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Superstable groups.Ch Berline & D. Lascar - 1986 - Annals of Pure and Applied Logic 30 (1):1-43.
Paires de structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.

View all 50 citations / Add more citations

References found in this work

On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
The number of countable models.Michael Morley - 1970 - Journal of Symbolic Logic 35 (1):14-18.
Ultraproducts which are not saturated.H. Jerome Keisler - 1967 - Journal of Symbolic Logic 32 (1):23-46.

View all 17 references / Add more references