The theorems of beth and Craig in abstract model theory II. Compact logics

Various compact logics such as stationary logic, positive logic, logics with various cardinality quantifiers and cofinality quantifiers are studied. Counterexamples to the theorems of Beth and Craig are given. Back and forth arguments are studied for the first two logics, transfer theorems presented for positive logic and a new compactness proof for the confinality quantifiers is given.

[1]  A. Ehrenfeucht.  An application of games to the completeness problem for formalized theories , 1961 .

[2]  H. Keisler.  Logic with the quantifier “there exist uncountably many” , 1970 .

[3]  Harvey M. Friedman,et al.  Beth’s theorem in cardinality logics , 1973 .

[4]  Shlomo Vinner.  A generalization of Ehrenfeucht’s game and some applications , 1972 .

[5]  Shai Ben-David.  On shelah’s compactness of cardinals , 1978 .

[6]  William Mitchell,et al.  Aronszajn trees and the independence of the transfer property , 1972 .

[7]  A. B. Slomson,et al.  Generalized quantifiers and well orderings , 1972 .

[8]  L. Badger.  An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications. , 1977 .

[9]  Saharon Shelah,et al.  On models with power-like orderings , 1972, Journal of Symbolic Logic.

[10]  Haim Gaifman,et al.  Isomorphism Types of Trees , 1964 .

[11]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[12]  S. Shelah,et al.  δ-Logics and generalized quantifiers , 1976 .

[13]  Heinz-Dieter Ebbinghaus.  ZumL(Q)-Interpolationsproblem , 1975 .

[14]  Johann A. Makowsky,et al.  Some model theory for monotone quantifiers , 1977, Arch. Math. Log..

[15]  Saharon Shelah.  Models with second order properties. III. Omitting types forL(Q) , 1981, Arch. Math. Log..

[16]  Mitsuru Yasuhara.  Syntactical and Semantical Properties of Generalized Quantifiers , 1966, J. Symb. Log..

[17]  K. J. Barwise,et al.  Axioms for abstract model theory , 1974 .

[18]  Menachem Magidor,et al.  Compact extensions of L(Q) , 1977 .

[19]  J. A. Makowsky.  Quantifying Over Countable Sets: Positive vs Stationary Logic , 1978 .

[20]  S. Shelah.  Generalized quantifiers and compact logic , 1975 .

[21]  J. A. Makowsky,et al.  The theorems of Beth and Craig in abstract model theory. I. The abstract setting , 1979 .