共 16 条
- [1] [Anonymous], 1995, ENCY MATH ITS APPL
- [2] [Anonymous], P S PURE MATH
- [3] [Anonymous], 1983, Set theory: An introduction to independence proofs
- [5] Bell J.L., 2005, Set Theory, Boolean-Valued Models and Independence Proofs
- [6] Boolos GS, 1989, Computability and logic, V3rd
- [7] BOWEN KA, 1974, FUND MATH, V81, P315
- [8] The discovery of forcing [J]. ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, 2002, 32 (04) : 1071 - 1100
- [9] Cohen P. J., 1966, Set Theory and the Continuum Hypothesis
- [10] EASWARAN K, MATHLO07122279 ARXIV