Countable approximations and Löwenheim-Skolem theorems
暂无分享，去创建一个
[1] K. J. Barwise,et al. Axioms for abstract model theory , 1974 .
[2] David W. Kueker,et al. Definability, automorphisms, and infinitary languages , 1968 .
[3] Alfred Tarski. Remarks on predicate logic with infinitely long expressions , 1958 .
[4] M. Makkai. Global definability theory in $L_{\omega _1 \omega }$ , 1973 .
[5] David W. Kueker. Löwenheim-Skolem and interpolation theorems in infinitary languages , 1972 .
[6] C. C. Chang. Some remarks on the model theory of infinitary languages , 1968 .
[7] Bienvenido F. Nebres. Herbrand uniformity theorems for infinitary languages , 1972 .
[8] H. Keisler. Model theory for infinitary logic , 1971 .
[9] Jerome I. Malitz. Infinitary Analogs of Theorems from First Order Model Theory , 1971, J. Symb. Log..
[10] Saharon Shelah. On languages with non-homogeneous strings of quantifiers , 1970 .
[11] K. J. Barwise. Mostowski's collapsing function and the closed unbounded filter , 1974 .
[12] J. Malitz. Universal classes in infinitary languages , 1969 .
[13] Thomas Jech,et al. Some combinatorial problems concerning uncountable cardinals , 1973 .
[14] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .
[15] Some problems in group theory , 1968 .
[16] H. J. Keisler,et al. Formulas with linearly ordered quantifiers , 1968 .
[17] Local theorems and group extensions , 1973 .