Abstract
We give a general technique on how to produce counterexamples to Beth's definability (and weak definability) theorem. The method is then applied for various infinitary, cardinality quantifier logics and Δ-closure of such logics.
Similar content being viewed by others
References
[DSh65] K. Devlin and S. Shelah, A weak form of the diamond which follows from\(2^{\aleph _0 }< 2^{\aleph 1} \), Isr. J. Math.29 (1978), 239–247.
[EHR] P. Erdos, A. Hajnal and R. Rado,Partition relations for cardinal numbers, Acta Math. Sci. Hung.16 (1965), 193–196.
[EHMR] P. Erdos, A. Hajnal, A. Mate and R. Rado,Combinatorial Set Theory: Partition Relations for Cardinals, North-Holland, Amsterdam, 1984.
[G] M. Gitik,Changing cofinalities and the non-stationary ideal, Isr. J. Math.56 (1986), 280–314.
[HoSh109] W. Hodges and S. Shelah,Infinite reduced products, Ann. Math. Logic20 (1981), 77–108.
[HoSh271] W. Hodges and S. Shelah,There are reasonable nice logics, J. Symb. Logic, to appear.
[Ma] J. A. Makowsky,Compactness embeddings and definability, inModel Theoretic Logics (J. Barwise and S. Feferman, eds.), Springer-Verlag, Berlin, 1985, pp. 645–716.
[MaSh62] J. A. Makowsky and S. Shelan,The theorems of Beth and Craig in abstract logic I, Trans. Am. Math. Soc.256 (1979), 215–239.
[MaSh 10] J. A. Makowsky and S. Shelah,The theorems of Beth and Craig in abstract model theory, II, Compact Logics, Proc. of a Workshop, Berlin, July 1977 Arch. Math. Logik21 (1981), 13–36.
[MaSh116] J. A. Makowsky and S. Shelah,Positive results in abstract model theory; a theory of compact logics. Ann. Pure Appl. Logic25 (1983), 263–299.
[MShS47] J. A. Makowsky, S. Shelah and J. Stavi,Δ-logics and generalized quantifiers, Ann. Math. Logic10 (1976), 155–192.
[MkSh166] A. H. Mekler and S. Shelah,Stationary logic and its friends, I, Proc. of the 1980/1 Jerusalem Model Theory year, Notre Dame J. Formal Logic26 (1985), 129–138.
[MkSh187] A. H. Mekler and S. Shelah,Stationary logic and its friends II, Notre Dame J. Formal Logic27 (1986), 39–50.
[PiSh130] A. Pillay and S. Shelah,Classification over a predicate I, Notre Dame J. Formal Logic26 (1985), 361–376.
[RuSh84] M. Rubin and S. Shelah,On the elementary equivalence of automorphism groups of Boolean algebras, downward Skolem-Lowenheim theorems and compactness of related quantifiers. J. Symb. Logic45 (1980), 265–283.
[Sh-a] S. Shelah,Classification Theory and the Number of Non-isomorphic Models, North-Holland, Amsterdam 1978, 542 pp.+xvi.
[Sh-b] S. Shelah,Proper Forcing, Springer Lecture Notes in Math.940, Springer-Verlag, Berlin, 1982, 496 pp.+xvi.
[Sh8] S. Shelah,Two cardinal compactness, Isr. J. Math.9 (1971), 193–198.
[Sh18] S. Shelah,On models with power-like orderings J. Symb. Logic37 (1972), 247–267.
[Sh43] S. Shelah,Generalized quantifiers and compact logic Trans. Am. Math. Soc.204 (1975), 342–364.
[Sh56] S. Shelah,Refuting Ehrenfeucht conjecture on rigid models, Proc. Symp. in memory of A. Robinson, Yale, 1975 Isr. J. Math.25 (1976), 273–286.
[Sh72] S. Shelah,Models wit second order properties I, Boolean algebras with no undefinable automorphisms, Ann. Math. Logic.14 (1978), 57–72.
[Sh107] S. Shelah,Models with second order properties IV, A general method and eliminating diamonds, Ann. Math. Logic25 (1983), 183–212.
[Sh125] S. Shelah,Consistency of Ext(G, Z)=Q, Isr. J. Math.39 (1981), 74–82.
[Sh129] S. Shelah,On the number of non-isomorphic models of cardinalityλ, L∞, γ-equivalent to a fix model, Notre Dame J. Formal Logic22 (1981), 5–10.
[Sh133] S. Shelah,On the number of non-isomorphic models inλ, L∞, λ-equivalent to a fix model when λ is weakly compact, Notre Dame J. Formal Logic23 (1982), 21–26.
[Sh188] S. Shelah, A pair of non-isomorphic models of power λ power λ for λ singular with\(\lambda ^{\aleph _0 } = \lambda \), Notre Dame J. Formal Logic25 (1984), 97–104.
[Sh189] S. Shelah,On the possible number of no (M)=the number of non-isomorphic models L ∞, λ equivalent to M of power λ, for singular λ, Notre Dame J. Formal Logic26 (1985), 36–50.
[ShSn179] S. Shelah and C. Steinhorn,On the axiomatizability by finitely many schemes, Notre Dame J. Formal Logic27 (1986), 1–11.
[ShSn180] S. Shelah and C. Steinhorn,The non-axiomatizability of L(Q 2M ), Notre Dame J. Formal Logic, in press.
[Sh199] S. Shelah,Remarks in abstract model theory, Ann. Pure Appl. Logic29 (1985), 255–288.
[Sh211] S. Shelah,Stationary logic II: Comparison with other logics, Notre Dame J. Formal Logic, submitted 1985.
[Sh220] S. Shelah,Existence of many L∞,λ-equivalent non-isomorphic models of T of power λ, Proc. Model Theory Conference Trento June 1986 (G. Cherlin and A. Marcja, eds.), Ann. Pure Appl. Logic34 (1987), 291–310.
[Sh228] S. Shelah,On the no(M) for M of singular power, Lecture Notes in Math.1182, Springer-Verlag, Berlin, 1986, pp. 120–134.
[Sh250] S. Shelah, Some notes on iterated forcing with\(2^{\aleph _0 } > \aleph _2 \) Notre Dame J. Formal Logic29 (1988), 1–17.
[Sh355] S. Shelah,\(\aleph _{\omega + 1} \) has a Jonsson algebra, preprint (1988).
Author information
Authors and Affiliations
Additional information
The author would like to thank the United States-Israel Binational Science Foundation for partially supporting this research, and Alice Leonhardt for the beautiful typing.
This work (except 3.10 and variations) was carried out in 1975. Publication No. 113.
Rights and permissions
About this article
Cite this article
Shelah, S. The theorems of Beth and craig in abstract model theory, III: Δ-logics and infinitary logics. Israel J. Math. 69, 193–213 (1990). https://doi.org/10.1007/BF02937304
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02937304