Stationary logic of finitely determinate structures

Abstract In this part we develop the theory of finitely determinate structures, that is, structures on which the dual quantifiers “stat” and “unreadable” have the same meaning. Among other general

[1]  Steven Garavaglia,et al.  Direct product decomposition of theories of modules , 1979, Journal of Symbolic Logic.

[2]  G. Fuhrken,et al.  Skolem-type normal forms for first-order languages with a generalized quantifier , 1964 .

[3]  Shlomo Vinner.  Model-completeness in a first order language with a generalized quantifier. , 1975 .

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

[5]  Wanda Szmielew.  Elementary properties of Abelian groups , 1955 .

[6]  Decision problems for generalized quantifiers — A survey , 1976 .

[7]  B. H. Neumann,et al.  Boolean powers of simple groups , 1965, Journal of the Australian Mathematical Society.

[8]  Leo Harrington,et al.  Adding a Closed Unbounded Set , 1976, J. Symb. Log..

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

[10]  Paul C. Eklof,et al.  Model-completions and modules , 1971 .

[11]  W. Baur.  Elimination of quantifiers for modules , 1976 .

[12]  A. Macintyre,et al.  Classifying pairs of real-closed fields , 1967 .

[13]  John E. Hutchinson.  Order Types of Ordinals in Models of Set Theory , 1976, J. Symb. Log..

[14]  S. Ben-David.  On Shelah’s compactness of cardinals , 1978 .

[15]  S. Lang.  Introduction to Algebraic Geometry , 1972 .

[16]  Gregory L. Cherlin,et al.  Model Theoretic Algebra , 1976, Journal of Symbolic Logic.

[17]  Saharon Shelah.  Categoricity in ℵ1 of sentences in $$L_{\omega _1 ,\omega } (Q)$$ , 1975 .

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

[19]  A. Robinson,et al.  Solution of a problem of Tarski , 1959 .

[20]  Paul C. Eklof,et al.  The elementary theory of abelian groups , 1972 .