Remarks in abstract model theory

Sur la propriete de Beth. Compacite selon l'occurrence. On montre que le spectre de compacite d'une logique peut etre bizarre s'il a la propriete d'amalgame et meme JEP

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

[2]  Infinitary stationary logic and abelian groups , 1981 .

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

[4]  Saharon Shelah,et al.  Models with second order properties IV. A general method and eliminating diamonds , 1983, Ann. Pure Appl. Log..

[5]  Saharon Shelah.  Two cardinal compactness , 1971 .

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

[7]  Solomon Feferman,et al.  Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable , 1975 .

[8]  Paul C. Eklof,et al.  Stationary logic of finitely determinate structures , 1979 .

[9]  Johann A. Makowsky,et al.  The theorems of beth and Craig in abstract model theory II. Compact logics , 1981, Arch. Math. Log..

[10]  Saharon Shelah.  Models with second order properties I. Boolean algebras with no definable automorphisms , 1978 .

[11]  S. Feferman.  Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures , 1974 .

[12]  Saharon Shelah,et al.  Decomposing Uncountable Squares to Countably Many Chains , 1976, J. Comb. Theory A.

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

[14]  Saharon Shelah,et al.  Stationary logic and its friends. II , 1985, Notre Dame J. Formal Log..

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

[16]  Saharon Shelah,et al.  Positive results in abstract model theory: a theory of compact logics , 1983, Ann. Pure Appl. Log..

[17]  Jon Barwise,et al.  A correction to “stationary logic” , 1981 .

[18]  Saharon Shelah,et al.  A compactness theorem for singular cardinals, free algebras, Whitehead problem and tranversals , 1975 .

[19]  Saharon Shelah,et al.  Models with second order properties II. Trees with no undefined branches , 1978 .