Effective prime uniqueness

有效素数唯一性
AMS MathViewer支持的HTML文章

通过彼得·乔拉克和C.S.C.查理·麦考伊 PDF格式

程序。阿默尔。数学。Soc公司。145（2017），5363-5379请求权限

假设下面有明显的定义，我们表明有效素数的可判定模型也是有效原子模型。这意味着两个有效的素数（可判定）模型是可计算同构的。这与存在两个不可计算同构的原子可判定模型的定理相反。最后，我们用一节描述了这一结果在逆向数学中的含义。

工具书类

大卫·R·贝朗格,具有有限多个模型的一阶理论的逆数学，J.Symb。日志。79（2014），第3期，955–984。先生3248791，内政部10.1017/jsl.2014.32
C.C.Chang公司和H.J.凯斯勒,模型理论第三版，《逻辑和数学基础研究》，第73卷，北霍兰德出版公司，阿姆斯特丹，1990年。先生1059055
瓦伦蒂娜·哈里扎诺夫,纯可计算模型理论《递归数学手册》，第1卷，《发现逻辑研究》。数学。，第138卷，荷兰北部，阿姆斯特丹，1998年，第3-114页。先生1673621，内政部10.1016/S0049-237X（98）80002-5
丹尼斯·赫施费尔特,理查德·肖尔、和西奥多·斯拉曼,原子模型定理与类型省略,事务处理。阿默尔。数学。Soc公司。 361(2009),11号, 5805–5837.先生2529915，内政部10.1090/S0002-9947-09-04847-8
斯蒂芬·辛普森,二阶算术子系统《数理逻辑的观点》，Springer-Verlag出版社，柏林，1999年。先生1723993，内政部10.1007/978-3-642-59971-2

类似文章

其他信息