Inter-universal geometry と ABC予想 (応援スレ) 45at MATH
Inter-universal geometry と ABC予想 (応援スレ) 45
- 暇つぶし2ch910:Reverse_mathematics Reverse mathematics The program was founded by Harvey Friedman (1975, 1976) and brought forward by Steve Simpson. A standard reference for the subject is (Simpson 2009), while an introduction for non-specialists is (Stillwell 2018). An introduction to higher-order reverse mathematics, and also the founding paper, is (Kohlenbach (2005)). Contents 1 General principles 1.1 Use of second-order arithmetic 1.2 Use of higher-order arithmetic 2 The big five subsystems of second-order arithmetic 2.1 The base system RCA0 2.2 Weak K?nig's lemma WKL0 2.3 Arithmetical comprehension ACA0 2.4 Arithmetical transfinite recursion ATR0 2.5 Π11 comprehension Π11-CA0 3 Additional systems 4 ω-models and β-models
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch