Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ
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