Reverse mathematics of prime factorization of ordinals

被引:0
|
作者
Jeffry L. Hirst
机构
[1] Department of Mathematical Sciences,
[2] Appalachian State University,undefined
[3] Boone,undefined
[4] NC 28608,undefined
[5] USA. e-mail: jlh@math.appstate.edu ,undefined
来源
关键词
Mathematics SubjectClassification (1991):03F35; Key words and phrases: reverse mathematics, second-order arithmetic;
D O I
暂无
中图分类号
学科分类号
摘要
One of the earliest applications of Cantor's Normal Form Theorem is Jacobstahl's proof of the existence of prime factorizations of ordinals. Applying the techniques of reverse mathematics, we show that the full strength of the Normal Form Theorem is used in this proof.
引用
收藏
页码:195 / 201
页数:6
相关论文
共 50 条