暇つぶし2chat MATH

- 暇つぶし2ch479: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). (引用終り) 以上

次ページ