( en | de | ru )

 

Disambiguierung von "Shafer, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
(Extra)ordinary Equivalences with the ascending/descending sequence Principle.

, , , und . J. Symb. Log., 89 (1): 262-307 (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Otto Paul

Walter Paul

Wolfgang Paul

Otto Pauli

Ewald Pauleit

 

Weitere Publikationen von Autoren mit dem selben Namen

Coding true arithmetic in the Medvedev degrees of Π10 classes.. Ann. Pure Appl. Log., 163 (3): 321-337 (2012)Ordinal Analysis of Partial Combinatory Algebras., und . J. Symb. Log., 86 (3): 1154-1188 (2021)Cohesive Powers of Linear Orders., , , , , und . CiE, Volume 11558 von Lecture Notes in Computer Science, Seite 168-180. Springer, (2019)Coding true arithmetic in the Medvedev and Muchnik degrees.. J. Symb. Log., 76 (1): 267-288 (2011)Honest elementary degrees and degrees of relative provability without the cupping property.. Ann. Pure Appl. Log., 168 (5): 1017-1031 (2017)Menger's theorem in Π11-CA0.. Arch. Math. Log., 51 (3-4): 407-423 (2012)(Extra)ordinary Equivalences with the ascending/descending sequence Principle., , , und . J. Symb. Log., 89 (1): 262-307 (2024)