Proceedings of the American Mathematical Society, 2015-12, Vol.143 (12), p.5411-5425
2015
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Measure theory and higher order arithmetic
- Ist Teil von
- Proceedings of the American Mathematical Society, 2015-12, Vol.143 (12), p.5411-5425
- Ort / Verlag
- American Mathematical Society
- Erscheinungsjahr
- 2015
- Quelle
- American Mathematical Society Publications
- Beschreibungen/Notizen
- We obtain that over \mathsf {ACA_0}^\omega + (\mu )-conservative over \mathsf {ACA_0}^\omega . Moreover, we establish a corresponding program extraction result.]]>
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0002-9939eISSN: 1088-6826DOI: 10.1090/proc/12671Titel-ID: cdi_crossref_primary_10_1090_proc_12671
- Format
- –