Set theory
このタグの解説について
この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。関連ブログ
ネットで話題
もっと見る
japan.digitaldj-network.com
vimeo.com9ブックマーク【PDF】INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS - Shinichi Mochizuki, August 2012INTER-UNIVERSAL TEICHMÜLLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020 Abstract. The present paper forms the fourth and final paper in a series of papers concerning “inter-universal Teichmüller theory”. In the first three papers of the series, we ...
www.kurims.kyoto-u.ac.jp
www.kurims.kyoto-u.ac.jp5ブックマークFrom Set Theory to Type Theory | The n-Category CaféThe discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if you’ve been listening to people talk about type theory all this time without ever really understanding...
golem.ph.utexas.edu
golem.ph.utexas.edu5ブックマークNon-well-founded set theory - WikipediaNon-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation. The study of non-well-foun...
en.wikipedia.org
en.wikipedia.org