论文标题
二阶算术子理论的可允许扩展
Admissible extensions of subtheories of second order arithmetic
论文作者
论文摘要
在本文中，我们研究了反向数学的几种理论的可接受扩展。这个想法是，在这种扩展中，自然数n的结构m =（n，s，\ in）的结构n和自然数的集合必须遵守t的公理，而同时又有一个设定的理论世界，由kripke-platek set理论的kripke-platek set理论（kp）竖立在m的基础上。
In this paper we study admissible extensions of several theories T of reverse mathematics. The idea is that in such an extension the structure M = (N,S,\in) of the natural numbers N and collection of sets of natural numbers S has to obey the axioms of T while simultaneously one also has a set-theoretic world with transfinite levels erected on top of M governed by the axioms of Kripke-Platek set theory, KP.
