この記事は Mathematical Logic Advent Calendar 2022の 7日目の記事です． 逆数学についての書籍や，勉強を始めるにあたってあったほうが良い予備知識などについて書きました． drive.google.com

この記事は Mathematical Logic Advent Calendar 2022の 6日目の記事です． ACA0からという形の文(は算術的)が証明可能なとき，XからYを一様に与える算術的に定義可能なfunctionalが存在することを示し，それを利用したATR0の特徴づけを与えました． drive.g…

TeXの分割コンパイル用の設定をいじったのでやり方メモ 例：a.tex b.texを個別に作って，それらを結合して一つのpdfを作りたい場合 以下を用意する：pre.tex a.tex b.tex main.tex a-comp.tex b-comp.tex それぞれの中身は以下の通り pre.tex ドキュメントク…