( en | de | ru )

 

Disambiguation of "Shafer, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
(Extra)ordinary Equivalences with the ascending/descending sequence Principle.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Surajit Paul

Christina Paulus

Christian Paul

Jean Paul

Eva-Maria Paul

 

Other publications of authors with the same name

Coding true arithmetic in the Medvedev degrees of Π10 classes.. Ann. Pure Appl. Log., 163 (3): 321-337 (2012)Cohesive Powers of Linear Orders., , , , , and . CiE, volume 11558 of Lecture Notes in Computer Science, page 168-180. Springer, (2019)Ordinal Analysis of Partial Combinatory Algebras., and . J. Symb. Log., 86 (3): 1154-1188 (2021)Menger's theorem in Π11-CA0.. Arch. Math. Log., 51 (3-4): 407-423 (2012)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)(Extra)ordinary Equivalences with the ascending/descending sequence Principle., , , and . J. Symb. Log., 89 (1): 262-307 (2024)