Nice infinitary logics

Author:
Saharon Shelah

Journal:
J. Amer. Math. Soc. **25** (2012), 395-427

MSC (2010):
Primary 03C95; Secondary 03C80, 03C55

Published electronically:
August 26, 2011

MathSciNet review:
2869022

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We deal with soft model theory of infinitary logics. We find a logic between and 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 and which satisfies ``well ordering is not characterized in a strong way'').

**[Be85]**J. Barwise and S. Feferman (eds.),*Model-theoretic logics*, Perspectives in Mathematical Logic, Springer-Verlag, New York, 1985. MR**819531****[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****[FV59]**S. Feferman and R. L. Vaught,*The first order properties of products of algebraic systems*, Fund. Math.**47**(1959), 57–103. MR**0108455****[Kop85]**Sabine Koppelberg,*Homogeneous Boolean algebras may have nonsimple automorphism groups*, Topology Appl.**21**(1985), no. 2, 103–120. MR**813282**, 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****[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-New York, 1982. MR**675955****[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****[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****[Sh:18]**Saharon Shelah,*On models with power-like orderings*, J. Symbolic Logic**37**(1972), 247–267. MR**0446955****[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**, 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**, 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**, 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*.

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:
https://doi.org/10.1090/S0894-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

Published electronically:
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