参考文献

Alwe, 無矛盾性順序に関する注意, Mathlog, 2020年11月12日
サクラ, Grothendieck宇宙のーと, Mathlog, 2020年11月07日
石井大海, 可算推移的モデルの存在について konn-san.com１１１０, https://konn-san.com/, 閲覧日 2021-01-12, https://konn-san.com/math/on-the-existence-of-ctm.html
石井大海, 絶対性チートシート konn-san.com, konn-san.com, 閲覧日 2021-01-12, https://konn-san.com/math/absoluteness-cheatsheet.html
Joel David Hamkins, Worldly cardinals are not always downwards absolute, Joel David Hamkins mathematics and philosophy of the infinite, 閲覧日 2011-01-12, http://jdh.hamkins.org/worldly-cardinals-are-not-always-downwards-absolute/
Joel David Hamkins, The otherworldly cardinals, Joel David Hamkins mathematics and philosophy of the infinite, 閲覧日 2021-01-12, http://jdh.hamkins.org/otherwordly-cardinals/
Worldly cardinal, Cantor's Attic, 閲覧日 2021-01-13, https://neugierde.github.io/cantors-attic/Worldly
What is the consistency strength of “Every set is a member of a transitive model”?, mathoverflow, 閲覧日 2021-01-12, https://mathoverflow.net/questions/268462/what-is-the-consistency-strength-of-every-set-is-a-member-of-a-transitive-model
Andrzej Mostwski, An undecidable arithmetical statement, Fundamenta Mathematicae 36 (1), 1949, 143-164
Andrzej Mostwski, Yoshindo Suzuki, On $\omega$-models which are not $\beta$-models, Fundamenta Mathematicae 58 (1), 1969, 83-93
新井敏康, 数学基礎論, 岩波書店, 2011
Chi Tat Chong, Liang Yu, Recursion Theory: Computational Aspects of Definability, De Gruyter Series in Logic and Its Applications, 8, De Gruyter, 2015
Yiannis Nicholas Moschovakis, Descriptive Set Theory, 2nd Edition, Mathematical Surveys and Monographs, American Mathematical Society, 2009