论多个测试定义下Prikry型力迫及其在α-递归论中的创新性应用.docxVIP

论多个测试定义下Prikry型力迫及其在α-递归论中的创新性应用

一、引言

1.1研究背景与动机

集合论作为现代数学的基础，其起源可追溯到19世纪70年代，德国数学家康托尔（GeorgCantor）在无穷序列和分析的有关课题研究中创立了集合论。康托尔对具有任意特性的无穷集合进行了深入探讨，提出了基数、序数、超穷数和良序集等理论，为集合论奠定了深厚基础。此后，集合论不断发展，出现了子集、幂集、交集、并集、笛卡儿积、关系、映射等一系列概念。然而，随着研究的深入，一些悖论逐渐浮现，促使数学家用公理化方法对集合概念进行合理限制，进而产生了现今通用的策梅洛-弗兰克尔公理系统。

递归论是数理逻辑的重要分支，主要研究递归函数及其性质，其发展历程同样悠久。递归论最早可追溯到原始递归式的使用，古代人以及现代儿童对加法及乘法的理解，本质上就是运用原始递归式。17世纪，法国学者B.巴斯加尔正式使用与递归式密切相关的数学归纳法；19世纪，德国数学家R.戴德金德和意大利的G.皮亚诺正式运用原始递归式定义加法与乘法，推动了自然数论的发展。1923年，T.司寇伦提出并初步证明一切初等数论中的函数都可由原始递归式作出，即都是原始递归函数。1931年，K.哥德尔在证明其著名的不完全性定理时，以原始递归式为主要工具将所有元数学的概念算术化，使得原始递归函数的重要性受到广泛关