Inter-universal geometry と ABC予想 (応援スレ) 63

**１３２人目の素数さん** · 2021/12/28(火) 23:28:06.67

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view

望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は分裂したNo43スレの中ではこのスレ立ては最初だったのです！（＾＾；）

つづく
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2022/01/05(水) 00:20:01.29

!
a喪ｯﾁｬﾏ認定ｳｹてるw

ｬｯﾀ-!
数板住人ﾐﾀｨに准教授a喪ｯﾁｬﾏ誤認ｻﾚﾃﾙ…!

　ぁ~もぅむちゃくちゃだょ!

こ↑れ↓ｶﾞ言ぃたかったw

a_Motcherの誤認を確認

w

ｻｨﾅﾗｯ…⁴(←※⁴ﾏﾃﾞｼｶﾅｨﾃﾞｽｩｩ…)
|=₃

**１３２人目の素数さん** · 2022/01/05(水) 00:20:12.71

>>788
つづき

Zermelo ordinals
Although the standard construction is useful, it is not the only possible construction. Ernst Zermelo's construction goes as follows:[38]
Set 0 = { }
Define S(a) = {a},
It then follows that
0 = { },
1 = {0} = {{ }},
2 = {1} = {{{ }}},
n = {n?1} = {{{...}}}, etc.
Each natural number is then equal to the set containing just the natural number preceding it.
This is the definition of Zermelo ordinals. Unlike von Neumann's construction, the Zermelo ordinals do not account for infinite ordinals.

https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86
レーヴェンハイム?スコーレムの定理
冒頭の簡単な言明の場合、理論の無限のモデルとは、ここでいう M である。定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。

https://ja.wikipedia.org/wiki/Well-defined
well-defined[注釈 1]（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う[2]。
(引用終り)
以上