A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-04-00

著者

• 江口 直日

  東北大学理学研究科

• Weiermann Andreas

  Department of Mathematics, Ghent University

関連論文

• A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity)

スポンサーリンク