Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)

スポンサーリンク

概要

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

著者

• 高木 理

  京都産業大学理学部

関連論文

• PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
• 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)
• Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)
• 超限的な再帰定義とBar帰納法を持つ構成的算術体系の自然演繹について

スポンサーリンク