>>744 追加

下記 石井 大海 基礎論の用語 宇宙
強制法が 発達して
宇宙、universe に新たな元を付加して拡張するための一般的な枠組み
があたりまえになった
”現代においては𝐋などに代表される内部モデルや強制法などの手法により、複数の宇宙を往き来する議論がいたるところで行われている”

当然のことながら、基礎論の用語 宇宙(こちらが 世間一般)
と
対する 望月氏のおれさま用語 宇宙とは
両者は おそらくは、全く異なる■

(参考)
https://konn-san.com/
石井 大海
https://konn-san.com/2024-forcing-seminar-notes/00-introduction-to-set-theory-and-logic.pdf
強制法セミナー第0回:忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル(宇宙、universe)に新たな元を付加して拡張するための一般的な枠組みである。

目次
3 強制法により広がる宇宙

P15
現代においては𝐋などに代表される内部モデルや強制法などの手法により、複数の宇宙を往き来する議論がいたるところで行われている
こうした複数の集合の宇宙の織り成すネットワークを研究しよう、という分野が集合論的多元宇宙(set-theoretic multiverse)であり、
先述の強制法的絶対性の議論と密接に関係しつつ、Hamkins らが主要な研究者である。