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 | Institut für Mathematische Logik und Grundlagenforschung |
| Schindler, Ralf-Dieter | Professur für Mengenlehre (Prof. Schindler) |