Some More Conservation Results on the Baire Category Theorem
From MaRDI portal
DOI<105::AID-MALQ105>3.0.CO;2-2 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2zbMath0942.03061MaRDI QIDQ4939405
Publication date: 15 August 2000
Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200001)46:1<105::aid-malq105>3.0.co;2-2
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS, ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS, Some conservation results on weak König's lemma, Baire categoricity and \(\Sigma_1^0\)-induction, Groundwork for weak analysis