ZFCから独立な命題の一覧 - Wikipedia
出典: フリー百科事典『ウィキペディア（Wikipedia）』
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。
一般的に、巨大基数と呼ばれる基数の存在はZFCでは決定することができない。
- ^ "The Consistency of the Continuum Hypothesis" (1940)
- ^ Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9
- ^ Baumgartner, J., All
-dense sets of reals can be isomorphic, Fund. Math. 79, pp.101 -- 106, 1973
- ^ Solovay, R. M.; Tennenbaum, S. (1971). “Iterated Cohen extensions and Souslin's problem”. Annals Of Mathematics. Second Series 94 (2): 201–245. doi:10.2307/1970860. JSTOR 1970860.
- ^ a b Baumgartner, J., J. Malitz, and W. Reiehart, Embedding trees in the rationals, Proc. Nat. Acad. Science, U.S.A., 67, pp. 1746 -- 1753, 1970
- ^ Shelah, S., Free limits of forcing and more on Aronszajn trees, Israel Journal of Mathematics, 40, pp. 1 -- 32, 1971
- ^ Devlin, K., and H. Johnsbraten, The Souslin Problem, Lecture Notes on Mathematics 405, Springer, 1974
- ^ Silver, J., The independence of Kurepa's conjecture and two-cardinal conjectures in model theory, in Axiomatic Set Theory, Proc. Symp, in Pure Mathematics (13) pp. 383 - 390, 1967
- ^ Friedman, Harvey (1980). “A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions”. Illinois J. Math. 24 (3): 390–395. MR573474.
- ^ James P. Jones (1980). “Undecidable diophantine equations”. Bull. Amer. Math. Soc. 3 (2): 859–862. doi:10.1090/s0273-0979-1980-14832-6.
- ^ Barbara L. Osofsky (1968). “Homological dimension and the continuum hypothesis”. Transactions of the American Mathematical Society 132: 217–230. doi:10.1090/s0002-9947-1968-0224606-4.
- ^ Barbara L. Osofsky (1973). Homological Dimensions of Modules. American Mathematical Soc.. p. 60. ISBN 978-0-8218-1662-2
