Can you take Solovay’s inaccessible away?
暂无分享,去创建一个
[1] Saharon Shelah,et al. Appendix to models with second order properties II trees with no undefined branches , 1978 .
[2] Saharon Shelah,et al. Models with second order properties II. Trees with no undefined branches , 1978 .
[3] J. Malitz,et al. Compact extensions of L(Q) (part 1a) , 1977 .
[4] R. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .
[5] H. Keisler. Logic with the quantifier “there exist uncountably many” , 1970 .