Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publications
Projects
Talks
Awards
Doctorates
Habilitations
Persons
Organisations
DE
|
EN
Yong
Cheng
No current affiliations available for this person. The person is no longer active at the university.
Publications
Harrington’s principle in higher order arithmetic
Yong Cheng; Ralf Schindler
(2015)
In:
Journal of Symbolic Logic
, 80
(2)
Type of Publication: Research article (journal)