Transfinite dependent choice and w-model reflection

被引:1
|
作者
Rüede, C
机构
[1] Zürich, 8048
关键词
D O I
10.2178/jsl/1190150155
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, omega-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies, We show several equivalences among the introduced subsystems. In particular we prove the equivalence of Sigma\ transfinite dependent choice and Pi(2)(1) reflection on omega-models of Sigma\-DC.
引用
收藏
页码:1153 / 1168
页数:16
相关论文
共 50 条