Dzhafarov, Mummert, Reverse Mathematics を読む．水曜日の 21:00 から完全オンラインで行う．S セメスター開始後は日曜日の 21:30 から完全オンラインで行う．2025/2/9 からは Denis R. Hirschfeldt, Slicing the Truth（PDF 直リンク注意）を読む．
［2025/4/20 追記］ 院試が終わるまでは暫く休止する．
開催形態の決定．開催曜日・時刻の決定．使用教材の決定．次回開催日（2/14（水））の決定．
Reverse Mathematics, 1.1–2.1
Reverse Mathematics, 2.2–2.3, Gladstone, M. D. “A Reduction of the Recursion Scheme”
補足資料（George Tourlakis による講義資料）の記号の定義の確認．
George Tourlakis の講義資料を読む．
Reverse Mathematics, 2.4–Lemma 2.5.2
Reverse Mathematics, Definition 2.5.3–Corollary 2.6.3, 新年度授業開始後の開催曜日・時間の決定．
Reverse Mathematics, Definition 2.6.4–Theorem 2.8.3（König の補題）
Reverse Mathematics, Corollary 2.8.4–Example 2.8.12
Reverse Mathematics, Definition 2.8.13–Theorem 2.8.23（2.8.20 を除く）
Theorem 2.8.20 の証明は R. I. Soare, Turing Computability, Corollary 5.6.7（p. 126）参照．
Reverse Mathematics, Definition 2.8.24–Proposition 2.8.26
Reverse Mathematics, Definition 3.1.1–Definition 3.5.6
Example 3.1.4 で述べられている「全ての半順序は線型拡大を持つ」という主張は Szpilrajn の拡張定理（Szpilrajn extension theorem）と呼ばれる（cf. Wikipedia s.v. “Szpilrajn extension theorem”）．また，同所で言及されている Bonnet の論文は Gallica で閲覧出来る: Robert Bonnet, Stratifications et extension des genres de chaînes dénombrables, C. R. Acad. Sci. Paris Sér. A-B 269（1969）, A880–A882. MR 252282, https://gallica.bnf.fr/ark:/12148/bpt6k4802973/f881.item
Reverse Mathematics, Definition 3.6.1–Proposition 3.6.10
Reverse Mathematics, Definition 3.6.11–Proposition 3.7.4.
Reverse Mathematics, Proposition 3.8.1–Proposition 3.8.5.
Reverse Mathematics, Definition 4.1.1–Proposition 4.2.5
Proposition 3.8.6 の証明はよく分からなかったので飛ばした．
Reverse Mathematics, Corollary 4.2.6–Proposition 4.2.11
Proposition 4.2.9 はどうやら間違っているらしい． cf. Jockusch, C. G., A. Lewis, and J. B. Remmel. “Π01-Classes and Rado’s Selection Principle.” The Journal of Symbolic Logic 56, no. 2（1991）: 684–93. https://doi.org/10.2307/2274710.
Reverse Mathematics, Definition 4.3.1–Proposition 4.3.6
Reverse Mathematics, Proposition 4.3.7–Theorem 4.3.11
Dorais, F., Hirst, J., Shafer, P. “Comparing the strength of diagonally non-recursive functions in the absence of Σ02 induction.” arXiv. Theorem 2.7.
Reverse Mathematics, Definition 4.4.1–Corollary 4.5.6
Proposition 4.5.5 は検討途中． ［2024/10/6 追記］ 解決．
Reverse Mathematics, Proposition 4.5.5, Definition 4.5.7–Proposition 4.5.12
Reverse Mathematics, 4.6
Reverse Mathematics, Definition 4.7.1–Theorem 5.1.5
1階述語論理の基本事項（健全性，完全性，コンパクト性，Löwenheim–Skolem の下降定理） Reverse Mathematics, Definition 5.1.6–Definition 5.2.1
Reverse Mathematics, Lemma 5.2.2–Theorem 5.3.4
Reverse Mathematics, Definition 5.3.5–Theorem 5.5.7
Reverse Mathematics, Theorem 5.5.8
次回から Denis R. Hirschfeldt, Slicing the Truth（PDF 直リンク注意）を読むことにする．
Slicing the Truth, §4（pp.38–47）
Slicing the Truth, §4.2（pp.47–49）
Slicing the Truth, §§4.2–3（pp.49–51）
Slicing the Truth, §4.4, Definition 4.13–Exercise 4.15（p.52）
Slicing the Truth, §4.4 Exercise 4.16（pp.53）
Slicing the Truth, —