Classification of first order theories which have a structure theorem
HTML articles powered by AMS MathViewer
- by Saharon Shelah PDF
- Bull. Amer. Math. Soc. 12 (1985), 227-232
References
-
1. J. Baldwin and S. Shelah, Classification of theories by second order quantifiers, Notre Dame J. Formal Logic, Proc. of the 1980/1981 Jerusalem model theory year.
- H. Jerome Keisler, Ultraproducts which are not saturated, J. Symbolic Logic 32 (1967), 23–46. MR 218224, DOI 10.2307/2271240
- Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226 4. S. Shelah, The spectrum problem. I, א, Israel J. Math. 43 (1982), 324-356.
- Saharon Shelah, Classification theory for nonelementary classes. I. The number of uncountable models of $\psi \in L_{\omega _{1},\omega }$. Part A, Israel J. Math. 46 (1983), no. 3, 212–240. MR 733351, DOI 10.1007/BF02761954
- Saharon Shelah, Simple unstable theories, Ann. Math. Logic 19 (1980), no. 3, 177–203. MR 595012, DOI 10.1016/0003-4843(80)90009-1
- Saharon Shelah, The spectrum problem. III. Universal theories, Israel J. Math. 55 (1986), no. 2, 229–256. MR 868182, DOI 10.1007/BF02801997 8. S. Shelah, Classification theory—with solution for countable theories, rev. ed., North-Holland (to appear).
Additional Information
- Journal: Bull. Amer. Math. Soc. 12 (1985), 227-232
- MSC (1980): Primary 03C45
- DOI: https://doi.org/10.1090/S0273-0979-1985-15354-6
- MathSciNet review: 776474