The ω-consistency of elementary analysis
スポンサーリンク
概要
- 論文の詳細を見る
let EA be the formal system of elementary analysis. The following is prowed by Schutte [7] that we have a proof of the consistency of EA by transfinite induction up to ε. ...
- 筑波大学の論文
- 1997-01-10
著者
-
Kokio Shirai
Institute Of Mathematics University Of Tsukuba
-
Shirai Kokio
Institute of Mathematics University of Tsukuba