( en | de | ru )

 

Disambiguation of "Shafer, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Cohesive Powers of Linear Orders.

, , , , , and . CiE, volume 11558 of Lecture Notes in Computer Science, page 168-180. Springer, (2019)

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.

Otto Paul

Walter Paul

Wolfgang Paul

Otto Pauli

Ewald Pauleit

 

Other publications of authors with the same name

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 degrees of Π10 classes.. Ann. Pure Appl. Log., 163 (3): 321-337 (2012)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)