终极L（数学论文）二 (7-7)

If these new large cardinals are indeed consistent then the study of them appears to be quite fruitful，and it may be that the addition to ZFC of an axiom schema asserting for each n＜ω the existence of a hyper-enormous cardinal κ such that Vκ ≺ Σₙ V，together with the axiom V＝Ultimate-L，will eventually come to be accepted as the correct “effectively complete” theory of V，assuming that confidence develops over time that this theory is consistent.

REFERENCES

[1] Hugh Woodin. Suitable Extender Models I.Journαl of Mαthemαticαl Logic，Vol.10，Nos.1 & 2 (2010)，pp.101-339.

[2] Hugh Woodin. Suitable Extender Models II：Beyond ω-huge.Journαl of Mαth-emαticαl Logic，Vol.11，No. 2 (2011)，pp.151-436.

[3] Hugh W. Woodin.In Search Of Ultimate-L：The 19th Midrasha Mathematical Lectures. The Bulletin of Symbolic Loqic，23(1)，1-109.

[4] Victoria Gitman and Ralf Schindler. Virtual Large Cardinals，pre-print.

[5] M. Victoria Marshall R. Higher order reflection principles，Journαl of Symbolic Logic，vol. 54，no.2，1989，pp.474-489.

[6] Gabriel Goldberg. On the consistency strength of Reinhardt cardinals，pre-print.

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。