Harrington’s principle in higher order arithmetic
Yong Cheng; Ralf Schindler
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Journal of Symbolic Logic (J. Symbolic Logic)
Jahrgang / Bandnr. / Volume: 80
Ausgabe / Heftnr. / Issue: 2
Seitenbereich: 477-489
Status: Veröffentlicht
Veröffentlichungsjahr: 2015
DOI: 10.1017/jsl.2014.31
Stichwörter: Mathematik
Autor*innen der Universität Münster
| Cheng, Yong | |
| Schindler, Ralf-Dieter |