The theorems of Beth and Craig in abstract model theory. I. The abstract setting
HTML articles powered by AMS MathViewer
- by J. A. Makowsky and S. Shelah PDF
- Trans. Amer. Math. Soc. 256 (1979), 215-239 Request permission
Abstract:
In the context of abstract model theory various definability properties, their interrelations and their relation to compactness are investigated.References
-
Y. Amihai, “The two of us together ...” in The modern Hebrew Poem itself (Burnshaw etal., Editors), New York, 1966.
- K. Jon Barwise, Axioms for abstract model theory, Ann. Math. Logic 7 (1974), 221–265. MR 376337, DOI 10.1016/0003-4843(74)90016-3
- Jon Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory. MR 0424560, DOI 10.1007/978-3-662-11035-5
- K. Jon Barwise, Absolute logics and $L_{\infty \omega }$, Ann. Math. Logic 4 (1972), 309–340. MR 337483, DOI 10.1016/0003-4843(72)90002-2
- Jon Barwise, Some applications of Henkin quantifiers, Israel J. Math. 25 (1976), no. 1-2, 47–63. MR 465788, DOI 10.1007/BF02756560
- Jon Barwise, Matt Kaufmann, and Michael Makkai, Stationary logic, Ann. Math. Logic 13 (1978), no. 2, 171–224. MR 486629, DOI 10.1016/0003-4843(78)90003-7
- Lee Badger, An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications, Pacific J. Math. 72 (1977), no. 2, 293–304. MR 462912, DOI 10.2140/pjm.1977.72.293 J. Bell and H. Slomson, Models and ultraproducts, North-Holland, Amsterdam, 1969.
- V. V. Bludov, Groups that can be ordered in a unique way, Algebra i Logika 13 (1974), no. 6, 609–634, 719 (Russian). MR 0389704
- John P. Burgess, Descriptive set theory and infinitary languages, Zb. Rad. Mat. Inst. Beograd. (N.S.) 2(10) (1977), 9–30. MR 497917 X. Caicedo, Maximality and interpolation in abstract logics, Thesis, University of Maryland, 1978.
- C. C. Chang and H. J. Keisler, Model theory, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. MR 0532927
- G. V. Čudnovskiĭ and D. V. Čudnovskiĭ, Regular and descendingly incomplete ultrafilters, Dokl. Akad. Nauk SSSR 198 (1971), 779–782 (Russian). MR 0289290
- Solomon Feferman, Applications of many-sorted interpolation theorems, Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif., 1971) Amer. Math. Soc., Providence, R.I., 1974, pp. 205–223. MR 0406772 —, Two notes on abstract model theory. I, II, Fund. Math. 82 (1974), 153-165; ibid 89 (1975), 111-130.
- J. Flum, First-order logic and its extensions, $\vDash$ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Lecture Notes in Math., Vol. 499, Springer, Berlin, 1975, pp. 248–310. MR 0401465
- Harvey Friedman, Beth’s theorem in cardinality logics, Israel J. Math. 14 (1973), 205–212. MR 317923, DOI 10.1007/BF02762675
- Richard Gostanian and Karel Hrbáček, On the failure of the weak Beth property, Proc. Amer. Math. Soc. 58 (1976), 245–249. MR 421982, DOI 10.1090/S0002-9939-1976-0421982-4
- John Gregory, Beth definability in infinitary languages, J. Symbolic Logic 39 (1974), 22–26. MR 354307, DOI 10.2307/2272338
- Leo Harrington, Extensions of countable infinitary logic which preserve most of its nice properties, Arch. Math. Logik Grundlag. 20 (1980), no. 3-4, 95–102. MR 603330, DOI 10.1007/BF02021129 R. B. Jensen and B. J. Koppelberg, A note on ultrafilters, Notices Amer. Math. Soc. 25 (1978), p. A-250. Abstract 78T-E21.
- H. Jerome Keisler, Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic 1 (1970), 1–93. MR 263616, DOI 10.1016/S0003-4843(70)80005-5 —, Modeltheory for infinitary logic, North-Holland, Amsterdam, 1971.
- S. C. Kleene, Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, Mem. Amer. Math. Soc. 10 (1952), 27–68. MR 51186
- MichałKrynicki and Alistair H. Lachlan, On the semantics of the Henkin quantifier, J. Symbolic Logic 44 (1979), no. 2, 184–200. MR 534568, DOI 10.2307/2273726
- David W. Kueker, Countable approximations and Löwenheim-Skolem theorems, Ann. Math. Logic 11 (1977), no. 1, 57–103. MR 457191, DOI 10.1016/0003-4843(77)90010-9
- Kenneth Kunen and Karel Prikry, On descendingly incomplete ultrafilters, J. Symbolic Logic 36 (1971), 650–652. MR 302441, DOI 10.2307/2272467 P. Lindström, First order logic and generalized quantifiers, Theoria 32 (1966), 187-195.
- Per Lindström, On extensions of elementary logic, Theoria 35 (1969), 1–11. MR 244013, DOI 10.1111/j.1755-2567.1969.tb00356.x
- Per Lindström, A characterization of elementary logic, Modality, morality and other problems of sense and nonsense, CWK Gleerup Bokförlag, Lund, 1973, pp. 189–191. MR 0450023
- E. G. K. Lopez-Escobar, An interpolation theorem for denumerably long formulas, Fund. Math. 57 (1965), 253–272. MR 188059, DOI 10.4064/fm-57-3-253-272
- Menachem Magidor and Jerome Malitz, Compact extensions of $L(Q)$. Ia, Ann. Math. Logic 11 (1977), no. 2, 217–261. MR 453484, DOI 10.1016/0003-4843(77)90019-5
- Jerome Malitz, Infinitary analogs of theorems from first order model theory, J. Symbolic Logic 36 (1971), 216–228. MR 290943, DOI 10.2307/2270256
- Johann Andreas Makowsky, Securable quantifiers, $k$-unions and admissible sets, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 409–428. MR 0384468
- J. A. Makowsky, Some observations on uniform reduction for properties invariant on the range of definable relations, Fund. Math. 99 (1978), no. 3, 199–203. MR 493124, DOI 10.4064/fm-99-3-199-203 —, Die Modelltheorie von ${L^p}$, in preparation.
- J. A. Makowsky, Quantifying over countable sets: positive vs. stationary logic, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977) Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, Amsterdam-New York, 1978, pp. 183–193. MR 519813 —, Characterizing monadic and equivalence quantifiers, in preparation. J. A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract Modeltheory. II, Compact logics, Arch. Math. Logik Grundlagenforsch. 20 (1979), no. 1/2. —, The theorems of Beth and Craig in abstract Modeltheory. III, Infinitary- and $\Delta$-logic, in preparation.
- J. A. Makowsky, Saharon Shelah, and Jonathan Stavi, $\Delta$-logics and generalized quantifiers, Ann. Math. Logic 10 (1976), no. 2, 155–192. MR 457146, DOI 10.1016/0003-4843(76)90021-8
- Mark E. Nadel, An arbitrary equivalence relation as elementary equivalence in an abstract logic, Z. Math. Logik Grundlagen Math. 26 (1980), no. 2, 103–109. MR 564374, DOI 10.1002/malq.19800260703
- Mark Nadel and Jonathan Stavi, $L_{\infty }{}_{\lambda }$-equivalence, isomorphism and potential isomorphism, Trans. Amer. Math. Soc. 236 (1978), 51–74. MR 462942, DOI 10.1090/S0002-9947-1978-0462942-3
- John Paulos, Noncharacterizability of the syntax set, J. Symbolic Logic 41 (1976), no. 2, 368–372. MR 411959, DOI 10.2307/2272235
- Michael O. Rabin, Arithmetical extensions with prescribed cardinality, Nederl. Akad. Wetensch. Proc. Ser. A 62 = Indag. Math. 21 (1959), 439–446. MR 0106834, DOI 10.1016/S1385-7258(59)50051-7
- Saharon Shelah, Refuting Ehrenfeucht conjecture on rigid models, Israel J. Math. 25 (1976), no. 3-4, 273–286. MR 485326, DOI 10.1007/BF02757005
- Saharon Shelah, On models with power-like orderings, J. Symbolic Logic 37 (1972), 247–267. MR 446955, DOI 10.2307/2272971
- Saharon Shelah, Generalized quantifiers and compact logic, Trans. Amer. Math. Soc. 204 (1975), 342–364. MR 376334, DOI 10.1090/S0002-9947-1975-0376334-6 J. Stavi, unpublished manuscript. —, Compactness properties of infinitary and abstract languages. I, Logic Colloquium ’77 (A. Macintyre et al, Editors), North-Holland, Amsterdam, 1978, pp. 263-276. J. Väänänen, $\mathrm {Beth}_{\Delta }$ implies compactness (preprint).
- Wilbur John Walkoe Jr., Finite partially-ordered quantification, J. Symbolic Logic 35 (1970), 535–555. MR 278920, DOI 10.2307/2271440
- A. Wojciechowska, Generalized products for $Q_{\alpha }$-languages, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 17 (1969), 337–339 (English, with Russian summary). MR 255385
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 256 (1979), 215-239
- MSC: Primary 03C80; Secondary 03C95
- DOI: https://doi.org/10.1090/S0002-9947-1979-0546916-0
- MathSciNet review: 546916