期刊
NOTRE DAME JOURNAL OF FORMAL LOGIC
卷 55, 期 1, 页码 75-78出版社
DUKE UNIV PRESS
DOI: 10.1215/00294527-2377887
关键词
reverse mathematics; second-order arithmetic; Baire category theorem; RCA(0); RCA(0)*; Sigma(0)(1)-induction
We investigate the reverse-mathematical status of a version of the Baire category theorem known as BCT. In a 1993 paper Brown and Simpson showed that BCT is provable in RCA(0). We now show that BCT is equivalent to RCA(0) over RCA(0)*.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据