Some more conservation results on the Baire category theorem

研究成果: Article査読

4 被引用数 (Scopus)

抄録

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA00-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!X φ(X), where φ is arithmetical. We also consider the conservation of Π0-BCT over ∑b1-NIA+∇b1-CA.

本文言語English
ページ(範囲)105-110
ページ数6
ジャーナルMathematical Logic Quarterly
46
1
DOI
出版ステータスPublished - 2000

ASJC Scopus subject areas

  • Logic

フィンガープリント 「Some more conservation results on the Baire category theorem」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル