コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1995
形態種別 研究論文
査読 査読あり
標題 A New Formalization of Feferman\'s System of Functions and Classes and its Relation to Frege Structure
執筆形態 共著
掲載誌名 International Journal of Foundations of Computer Science
掲載区分国外
出版社・発行元 World Scientific
巻・号・頁 6(3),pp.187-202
総ページ数 16
著者・共著者 Susumu Hayashi and Satoshi Kobayashi
概要 A new axiomatization of Feferman’s systems of functions and classes1,2 is given. The new axiomatization has a finite number of class constructors resembling the proposition constructors of Frege structure by Aczel.3 Aczel wrote “It appears that from the technical point of view the two approaches (Feferman’s system and Frege structure) run parallel to each other in the sense that any technical result for one approach can be reconstructed for the other”.3 By the aid of the new axiomatization, Aczel’s observation becomes so evident. It is now straightforward to give a mutual interpretation between our formulation and a first order theory of Frege structure, which improve results by Beeson in Ref. 4.
DOI https://doi.org/10.1142/S0129054195000135