導出可能性条件D3を満たすRosser証明可能性述語が存在する
References
T. Arai; "Derivability conditions on Rosser's provability predicates"
導出可能性条件D2を満たすRosser証明可能性述語が存在する
C.Bernardi, F. Montagna, "Equivalence relations induced by extensional formulae: classification by means of a new fixed point property"
Thm
導出可能性条件D3
を満たす
Rosser証明可能性述語
が存在する
Proof