Absolute logics and L∞ω☆
暂无分享，去创建一个
[1] Kenneth Kunen,et al. Hanf numbers for fragments of ℶh(A) , 1971 .
[2] Abraham Robinson,et al. Completing theories by forcing , 1970 .
[3] K. Jon Barwise,et al. Infinitary logic and admissible sets , 1969, Journal of Symbolic Logic.
[4] Solomon Feferman,et al. Persistent and invariant formulas relative to theories of higher order , 1966 .
[5] Yiannis N. Moschovakis,et al. The game quantifier , 1972 .
[6] H. Keisler. Model theory for infinitary logic , 1971 .
[7] Jack H. Silver,et al. A large cardinal in the constructible universe , 1970 .
[8] E. López-Escobar. On defining well-orderings , 1966 .
[9] J. Malitz,et al. Problems in the model theory of infinite languages , 1966 .
[10] Jack Howard Silver,et al. Some applications of model theory in set theory , 1966 .
[11] A. Levy,et al. A hierarchy of formulas in set theory , 1965 .
[12] A. Mostowski. On a generalization of quantifiers , 1957 .