Some More Conservation Results on the Baire Category Theorem

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2" /><105::AID-MALQ105>3.0.CO;2-2 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2zbMath0942.03061OpenAlexW2019103669MaRDI QIDQ4939405

Takeshi Yamazaki

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

zbMATH Keywords

forcingreverse mathematicsconservationfeasible analysis

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ Baire categoricity and \(\Sigma_1^0\)-induction ⋮ Some conservation results on weak König's lemma ⋮ Groundwork for weak analysis

This page was built for publication: Some More Conservation Results on the Baire Category Theorem