検索結果 31 件
紙図書
国立国会図書館
紙デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館
- 目次・記事...Introduction 1 Subsystems of second order arithmetic 1.1 RCA₀,WKL₀ ...... The existence of Haar measure 3.2 Completeness...
デジタル記事
全国の図書館
- 要約等<jats:p>Almost all of the problems s......rough a series of case studies, ......n the language of second-order arithmetic, the weakest l......velop the bulk of mathematics. I......s is the theme of reverse mathem......the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic. </jats:p>
- 参照...induced by the arithmetical hierarchy of countably cont......ns Equivalence of bar induction ......li Equivalents of the finitary n......0_1$$ variants of the law of excluded middl...... decomposition of WKL!! The Dira......n two settings of Reverse Mathem......inacy strength of pushdown<i>ω</......onstructive proof of the dense existence of nowhere-differ......al provability of uniform versio......c A COMPARISON OF VARIOUS ANALYT......foundedness proof with the maxim......atics A Survey of Determinacy of Infinite Games in Second Order Arithmetic Bernays and th......ory ZFC Models of the Weak König......iminability in Second Order Logic Calculus
デジタル記事
全国の図書館
- 要約等...gical strength of the determinacy of infinite binar......games in terms of second order arithmetic. We define new...... Wadge classes of Polish spaces ......which consists of the axioms of discrete ordered semi‐rings w......he determinacy of infinite games in the Cantor ...
- 参照Infinite Games and Transfinite Recursion of Multiple Inductive Definition...
デジタル記事
全国の図書館
- 参照Nonstandard second-order arithmetic and Riemannʼs mapping theorem
デジタル記事
全国の図書館
- 要約等...inacy strength of infinite games......he determinacy of infinite games......the collection of formulas built from <jats:sty...
- 参照The determinacy strength of pushdown<i>ω</......nite Recursion of Multiple Induc......tions A Survey of Determinacy of Infinite Games in Second Order Arithmetic A Reflection Principle As a R...
デジタル記事
全国の図書館
- 参照The strength of SCT soundness ......em Propagation of partial randomness In Search of the First-Order Part of Ramsey’s Theor......s Set systems: Order types, continu......ons, and quasi-orders On the strength of Ramsey's theor......n The Strength of the SCT Criter......SE MATHEMATICS OF THEOREMS OF JORDAN AND LEB......ty Nonstandard second-order arithmetic and Riemannʼs ......nite Recursion of Multiple Induc......nitions The proof-theoretic strength of Ramsey's theor......for colourings of pairs MASS PROBLEMS ASSOCIATE...