Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 高木 理

  京都大学総合人間学部非常勤講師

関連論文

• Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
• An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)

スポンサーリンク