( en | de | ru )

 

Disambiguation of "Shafer, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Randomness and Semimeasures.

, , , and . Notre Dame J. Formal Log., 58 (3): 301-328 (2017)

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.

Klaus Paulus

Barbara Paulick

Georg Paul

Gotthard Paulus

Otto Pauli

 

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)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., , , and . J. Symb. Log., 89 (1): 262-307 (2024)