Journal of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Help
ISSN 1088-6834(e) ISSN 0894-0347(p)

Nice infinitary logics

Author: Saharon Shelah
Journal: J. Amer. Math. Soc. 25 (2012), 395-427
MSC (2010): Primary 03C95; Secondary 03C80, 03C55
Posted: August 26, 2011
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We deal with soft model theory of infinitary logics. We find a logic between $\mathbb{L}_{\infty,\aleph_0}$ and $\mathbb{L}_{\infty,\infty}$ which has some striking properties. First, it has interpolations (it was known that each of those logics fails interpolation though the pair has interpolation). Second, well ordering is not characterized in a strong way. Third, it can be characterized as the maximal such nice logic (in fact, it is the maximal logic stronger than $\mathbb{L}_{\infty,\aleph_0}$ and which satisfies ``well ordering is not characterized in a strong way'').

References

Bibliography

[Be85] J. Barwise and S. Feferman (eds.), Model-theoretic logics, Perspectives in Mathematical Logic, Springer-Verlag, New York, 1985. MR 819531 (87g:03033)
[Dic85] M. A. Dickmann, Larger infinitary languages, Model-theoretic logics, Perspect. Math. Logic, Springer, New York, 1985, pp. 317–363. MR 819540
[EM02] Paul C. Eklof and Alan H. Mekler, Almost free modules, Revised edition, North-Holland Mathematical Library, vol. 65, North-Holland Publishing Co., Amsterdam, 2002. Set-theoretic methods. MR 1914985 (2003e:20002)
[FV59] S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103. MR 0108455 (21 #7171)
[Kop85] Sabine Koppelberg, Homogeneous Boolean algebras may have nonsimple automorphism groups, Topology Appl. 21 (1985), no. 2, 103–120. MR 813282 (87a:06030), http://dx.doi.org/10.1016/0166-8641(85)90098-7
[Mak85] J. A. Makowsky, Compactness, embeddings and definability, Model-theoretic logics, Perspect. Math. Logic, Springer, New York, 1985, pp. 645–716. MR 819549
[Mos52] Andrzej Mostowski, On direct products of theories, J. Symbolic Logic 17 (1952), 1–31. MR 0047574 (13,897a)
[Rv89] Petr Štěpánek and Matatyahu Rubin, Homogeneous Boolean algebras, Handbook of Boolean algebras, Vol. 2, North-Holland, Amsterdam, 1989, pp. 679–715. MR 991606
[Sh:b] Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin, 1982. MR 675955 (84h:03002)
[Sh:g] Saharon Shelah, Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press Oxford University Press, New York, 1994. Oxford Science Publications. MR 1318912 (96e:03001)
[Sh:12] Saharon Shelah, The number of non-isomorphic models of an unstable first-order theory., Israel J. Math. 9 (1971), 473–487. MR 0278926 (43 #4652)
[Sh:18] Saharon Shelah, On models with power-like orderings, J. Symbolic Logic 37 (1972), 247–267. MR 0446955 (56 #5272)
[Sh:72] Saharon Shelah, Models with second-order properties. I. Boolean algebras with no definable automorphisms, Ann. Math. Logic 14 (1978), no. 1, 57–72. MR 501097 (80b:03047a), http://dx.doi.org/10.1016/0003-4843(78)90008-6
[Sh:199] Saharon Shelah, Remarks in abstract model theory, Ann. Pure Appl. Logic 29 (1985), no. 3, 255–288. MR 808815 (87g:03040), http://dx.doi.org/10.1016/0168-0072(85)90002-8
[Sh:384] -, Compact logics in ZFC : Complete embeddings of atomless Boolean rings, Non structure theory, Chapter X.
[FuSh:766] Laszlo Fuchs and Saharon Shelah, On a non-vanishing Ext, Rend. Sem. Mat. Univ. Padova 109 (2003), 235–239. MR 1997989
[Sh:800] Saharon Shelah, On complicated models, Preprint.
[GbSh:880] Rüdiger Göbel and Saharon Shelah, Absolutely indecomposable modules, Proc. Amer. Math. Soc. 135 (2007), no. 6, 1641–1649 (electronic). MR 2286071 (2007k:13047), http://dx.doi.org/10.1090/S0002-9939-07-08725-4
[GbHeSh:948] Ruediger Goebel, Daniel Herden, and Saharon Shelah, Absolute -rings, Advances in Mathematics, accepted.
[Sh:F1046] Saharon Shelah, Nice infinitary logics II.

Similar Articles

Retrieve articles in Journal of the American Mathematical Society with MSC (2010): 03C95, 03C80, 03C55

Retrieve articles in all journals with MSC (2010): 03C95, 03C80, 03C55

Additional Information

Saharon Shelah
Affiliation: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel
Address at time of publication: Department of Mathematics, Hill Center - Busch Campus, Rutgers, The State University of New Jersey, 110 Frelinghuysen Road, Piscataway, New Jersey 08854-8019
Email: shelah@math.huji.ac.il

DOI: http://dx.doi.org/10.1090/S0894-0347-2011-00712-1
PII: S 0894-0347(2011)00712-1
Keywords: Model theory, soft model theory, characterization theorems, Lindström theorem, interpolation, well ordering
Received by editor(s): May 16, 2010
Received by editor(s) in revised form: June 10, 2011
Posted: August 26, 2011
Additional Notes: The author thanks Alice Leonhardt for the beautiful typing. The author thanks the Israel Science Foundation for partial support of this research. Part of this work was done while the author was visiting Mittag-Leffler Institut, Djursholm, Sweden, in the fall of 2000 and the fall of 2009. We thank the Institut for hospitality and support. Publication No. 797 in the author list of publications.
Article copyright: © Copyright 2011 American Mathematical Society

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|