Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ

Annals of Pure and Applied Logic - Tập 34 - Trang 291-310 - 1987
Saharon Shelah

Tài liệu tham khảo

M. Dickman, Larger infinitary languages, Chapter IX in: J. Barwise and S. Feferman, eds., Model Theoretic Logics (Springer, Berlin). Laver, 1971, On Fraïsse's order type conjecture, Annals of Math., 93, 89, 10.2307/1970754 M. Nadel, Lω1,ω and admissible fragments, Chapter VIII in: J. Barwise and S. Feferman, eds., Model Theoretic Logics, (Springer, Berlin). Nadel, 1978, L∞,λ-equivalence, isomorphism and potential isomorphism, Trans. Amer. Math. Soc., 236, 51 Shelah, 1978 Shelah, 1983, Constructions of many complicated uncountable structures and Boolean algebras, Israel J. Math., 45, 100, 10.1007/BF02774012 Shelah, 1984, A pair of non-isomorphic models of power λ for λ singular with λω = λ, Notre Dame J. Formal Logic, 25, 97, 10.1305/ndjfl/1093870570 Shelah, 1976, Some remarks in model theory, Notices Amer. Math. Soc., 23, A Shelah, 1974, Infinite abelian groups, Whitehead problem and some constructions, Israel J. Math., 18, 243, 10.1007/BF02757281 Shelah, 1985, Classification of countable first order theories which has a structure theorem, Bull. Amer. Math. Soc., 227, 10.1090/S0273-0979-1985-15354-6 S. Shelah, Classification Theory, completed for countable T (North-Holland, Amsterdam, to appear). Shelah, 1982, Better quasi order for uncountable cardinals, Israel J. Math., 42, 177, 10.1007/BF02802723 Shelah, 1986, On n 0(M) for M of singular power, 10.1007/BFb0098507