Publication:4939405
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
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
Some conservation results on weak König's lemma, Baire categoricity and \(\Sigma_1^0\)-induction, Groundwork for weak analysis