Reverse mathematics of prime factorization of ordinals

被引:0
|
作者
Hirst, JL [1 ]
机构
[1] Appalachian State Univ, Dept Math Sci, Boone, NC 28608 USA
关键词
reverse mathematics; second-order arithmetic;
D O I
10.1007/s001530050123
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
One of the earliest applications of Canter'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
页数:7
相关论文
共 50 条