A new class of order types
暂无分享,去创建一个
[1] Richard Laver,et al. On Fraisse's order type conjecture , 1971 .
[2] R. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .
[3] Azriel Levy. Definability in Axiomatic Set Theory II , 1970 .
[4] R. Jensen,et al. The fine structure of the constructible hierarchy , 1972 .
[5] Jack Howard Silver,et al. Some applications of model theory in set theory , 1966 .
[6] P. Erdös,et al. A Partition Calculus in Set Theory , 1956 .
[7] J. Malitz,et al. Embedding trees in the rationals. , 1970, Proceedings of the National Academy of Sciences of the United States of America.
[8] James E. Baumgartner,et al. A proof (involving Martin's axiom) of a partition relation , 1973 .