コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1989
形態種別 研究論文
査読 査読あり
標題 Consistency of Beeson's Formal System RPS and Some Related Results
執筆形態 単著
掲載誌名 Mathematical Logic and Applications (Springer Lecture Notes in Math. Vol. 1388)
掲載区分国外
出版社・発行元 Springer Verlag
巻・号・頁 1388,pp.120-140
総ページ数 21
著者・共著者 Satoshi Kobayashi
概要 We prove the consistency of Beeson's formal system RPS and its extensions. The relationships between RPS and various principles of constructive mathematics are investigated.