Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
Yong
Cheng
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Publikationen
Harrington’s principle in higher order arithmetic
Yong Cheng; Ralf Schindler
(2015)
In:
Journal of Symbolic Logic
, 80
(2)
,
477
-
489
.
doi:10.1017/jsl.2014.31
Forschungsartikel (Zeitschrift)
| Peer reviewed
| Veröffentlicht