认证的$Sigma\_1$-句子

摘要：使用证书研究带有$Sigma\_1$句子的就业，即添加了一些原则以确保证人足够类似数字的$Sigma\_1$句子。我们详细介绍了证书，并通过重新证明一些经典结果和证明一些新结果来说明它们的用途。这样一个经典结果的例子是沃特的强有效不可分割性定理${sf R}\_0$。我们还发展了一个新的理论思想，即一个理论被${sf R}\_{0{sf p}}$源驱动。利用这个概念，我们可以将一些重要的结果从${sf R}\_0$转移到其他各种理论中。

作者：Taishi Kurahashi and Albert Visser

论文ID：2306.13049

分类：Logic

分类简称：math.LO

提交时间：2023-06-23

PDF 下载： 英文版 中文版pdf翻译中