( 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.

Christine Paul

Heinz Paulsen

Uwe Paulsen

Dieter Paulsen

Reinhold 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)Ordinal Analysis of Partial Combinatory Algebras., and . J. Symb. Log., 86 (3): 1154-1188 (2021)Cohesive Powers of Linear Orders., , , , , and . CiE, volume 11558 of Lecture Notes in Computer Science, page 168-180. Springer, (2019)Coding true arithmetic in the Medvedev and Muchnik degrees.. J. Symb. Log., 76 (1): 267-288 (2011)Menger's theorem in Π11-CA0.. Arch. Math. Log., 51 (3-4): 407-423 (2012)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)