2025.09.04
https://gyazo.com/7027ec3e2b79dcb6d3d82e348d1f4e89
メモ
やった
「$ \bf GLの閉論理式の集合$ \Gammaによる非正規拡大$ \mathbf{GL} + \Gammaは$ \mathbf{GL}_\alpha = \mathbf{GL} + \{ F_i \mid i \in \alpha \}または$ \mathbf{GL}_\beta = \mathbf{GL} + \lnot \bigwedge_{i \notin \beta} F_iで尽くされる．」という事実(Artemov?)を形式化しつつある メモ
Dzhaparidzeの$ \bf Dが$ \mathsf{PA} + \mathrm{Rfn}_\mathsf{PA}(\Sigma_1)の証明可能性論理になっている：という事実を追ってみたい．絶対短い証明があるような気もするが，なかったら終わりだ