Vitali's theorem and WWKL

被引：21
作者：
Brown, DK
Giusto, M
Simpson, SG
机构：
[1] Penn State Altoona, Altoona, PA 16601 USA
[2] Penn State Univ, Dept Math, University Pk, PA 16802 USA
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2002年 / 41卷 / 02期
关键词：
D O I：
10.1007/s001530100100
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA(0). We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA(0).
引用
收藏
页码：191 / 206
页数：16
相关论文
共 26 条
[1]  
AMBOSSPIES K, 1990, LECT NOTES MATH, V1432
[2]  
Bishop E.A., 1985, GRUNDLEHREN MATH WIS, V279
[3]  
Boffa M., 1979, STUDIES LOGIC FDN MA
[4]  
Brown D. K., 1987, PhD thesis
[5]   THE BAIRE CATEGORY THEOREM IN WEAK SUBSYSTEMS OF 2ND-ORDER ARITHMETIC [J].
BROWN, DK ;
SIMPSON, SG .
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) :557-578
[6]   WHICH SET EXISTENCE AXIOMS ARE NEEDED TO PROVE THE SEPARABLE HAHN-BANACH THEOREM [J].
BROWN, DK ;
SIMPSON, SG .
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) :123-144
[7]  
Demuth Osvald, 1979, STUD LOGIC FDN MATH, V97, P81
[8]  
EBBINGHAUS H.-D., 1985, LECT NOTES MATH, V1141
[9]  
FRIEDMAN H, 1977, COMMUNICATION
[10]  
FRIEDMAN H, 1985, ANN PURE APPL LOGIC, V27, P319
123