Scifaro

中文

二阶算术子理论的可容许扩张

逻辑 2023-06-23 v3

作者: Gerhard Jäger , Michael Rathjen

在 arXiv 上查看 ↗ PDF ↗

摘要

本文研究逆数学中若干理论 T 的可容许扩张。其思想是：在此类扩张中，自然数 N 与自然数集合 S 构成的结构 M = (N,S,\in) 须遵从 T 的公理，同时还有一个建立在 M 之上的、具有超穷层次并受 Kripke-Platek 集合论（KP）公理支配的集合论世界。

关键词

可容许扩张逆数学二阶算术 Kripke-Platek 集合论子系统

引用

@article{arxiv.2202.03476,
  title  = {Admissible extensions of subtheories of second order arithmetic},
  author = {Gerhard Jäger and Michael Rathjen},
  journal= {arXiv preprint arXiv:2202.03476},
  year   = {2023}
}