_{∞}_{}-equivalence, isomorphism and potential isomorphism
暂无分享，去创建一个
[1] M. Nadel,et al. Scott sentences and admissible sets , 1974 .
[2] Paul C. Eklof. On the existence of -free abelian groups , 1975 .
[3] Jaakko Hintikka,et al. A new approach to infinitary languages , 1976 .
[4] John E. Hutchinson. Model theory via set theory , 1976 .
[5] Leo Harrington,et al. Adding a Closed Unbounded Set , 1976, J. Symb. Log..
[6] On the Existence of κ-Free Abelian Groups , 1975 .
[7] Jon Barwise,et al. The Syntax and Semantics of Infinitary Languages , 1968 .
[8] K. J. Barwise,et al. Absolute logics and L∞ω☆ , 1972 .
[9] Haim Gaifman,et al. Isomorphism Types of Trees , 1964 .
[10] Gerald E. Sacks,et al. Saturated Model Theory , 1972 .
[11] K. J. Barwise,et al. Axioms for abstract model theory , 1974 .
[12] M. Benda,et al. Reduced products and nonstandard logics , 1969, Journal of Symbolic Logic.
[13] R. Jensen,et al. The fine structure of the constructible hierarchy , 1972 .
[14] S. Shelah,et al. δ-Logics and generalized quantifiers , 1976 .
[15] Thomas Jech,et al. Lectures in set theory,: With particular emphasis on the method of forcing , 1971 .