The theorems of Beth and Craig in abstract model theory. I. The abstract setting

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

In the context of abstract model theory various definability properties, their interrelations and their relation to compactness are investigated.

References

in The modern Hebrew Poem itself

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

Models and ultraproducts

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

Maximality and interpolation in abstract logics

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

82

89

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

A note on ultrafilters

25

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

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

First order logic and generalized quantifiers

32

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

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

The theorems of Beth and Craig in abstract Modeltheory

Compact logics

20

The theorems of Beth and Craig in abstract Modeltheory

Infinitary- and

logic

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

Compactness properties of infinitary and abstract languages

implies compactness

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