Measure theory and higher order arithmetic
We obtain that over \mathsf {ACA_0}^\omega + (\mu )-conservative over \mathsf {ACA_0}^\omega . Moreover, we establish a corresponding program extraction result.]]>
Gespeichert in:
| Veröffentlicht in: | Proceedings of the American Mathematical Society 2015-12, Vol.143 (12), p.5411-5425 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We obtain that over \mathsf {ACA_0}^\omega + (\mu )-conservative over \mathsf {ACA_0}^\omega . Moreover, we establish a corresponding program extraction result.]]> |
|---|---|
| ISSN: | 0002-9939 1088-6826 |
| DOI: | 10.1090/proc/12671 |