A second order theory of ordinal numbers with Ackermann-type reflection schema

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人 日本数学会の論文

著者

• Hanazawa Masazumi

  Department Of Mathematical Sciences School Of Science Tokai University

関連論文

• The Lightest Totalization of an Endnode Labelling of a Non-tree Graph II
• Countable metacompactness and tree topologies
• CS-Aronszajn trees under the negation of the Continuum Hypothesis
• A second order theory of ordinal numbers with Ackermann-type reflection schema
• Probabilistic minimax Search of a Game Tree

スポンサーリンク