Inter-universal geometry と ABC予想 (応援スレ) 44at MATH
Inter-universal geometry と ABC予想 (応援スレ) 44
- 暇つぶし2ch480:zpiro's inequality for elliptic curves in ”initial theta data"). In this, all of the assumptions will be made transparent － including the statement of Corollary 3.12 and how to apply it. In this manuscript (and its sequels) we work under the hypothesis that all of Mochizuki's \functorial algorithms" can be expressed in terms of interpretations in the sense of model theory. We refer the reader to [Hod97, x4.3] for the basics of interpretations (the more topos-minded readers might be inclined to read [Car18, Definition 6.12] which provides a more categorical framework). We just mention in passing that for this to work we need to abandon classical finitary logic and allow for countable conjunctions of formulas and countably many sorts (this is by default done in the topos theory literature but is atypical of classical first order model theory literature). (引用終り) 以上
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch