20/04/20 12:05:36 jS1N2Wjo.net
>>772 &>>776
ID:LhH52yzr さん、どうも
あなたはレベルが高そうだねぇ（＾＾
スレチだが、少しだけ
>モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
>構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、
同意です
前提として、細かい定義抜きで、日常の雑談風でやりましょう
１．同型とは？ 代数学を例にとれば、集合A,Bで 射：A→B で、演算を保存するもので全単射
群なら積、環なら積和を保存する
２．では、モデル理論では、何を保存するのか？
簡単には、宇宙A,Bで 射：A→B で、集合基礎論として数学理論を展開する舞台として欲しい数学要素が全て過不足なく揃うこと
かな？ 宇宙A,Bともに
数学的には、宇宙A内の任意の数学要素が 宇宙Bにある
また、その逆も成り立てば、射：A→Bが同型としてよいとしましょう
３．さて、おっしゃるように、階層構造を考えるのが筋でしょう
つまり、宇宙内の個別の数学要素を考えるのではなく、まずは階層を考えれば良い
宇宙A,Bで、Aで到達できる階層がBにあれば、同型
なければ、同型でな�