Paul Shafer

20 papers C 1Journal 19
YearRankTypeTitle / Venue / Authors
2024 J jnl
(Extra)ordinary Equivalences with the ascending/descending sequence Principle.
J. Symb. Log.
Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
2023 J jnl
On Cohesive powers of linear Orders.
J. Symb. Log.
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2021 J jnl
Ordinal Analysis of Partial Combinatory Algebras.
J. Symb. Log.
Paul Shafer, Sebastiaan A. Terwijn
2020 J jnl
Ordinal analysis of partial combinatory algebras.
CoRR
Paul Shafer, Sebastiaan A. Terwijn
2020 J jnl
Randomness Notions and Reverse Mathematics.
J. Symb. Log.
André Nies, Paul Shafer
2020 J jnl
The strength of compactness for countable complete linear orders.
Comput.
Paul Shafer
2019 C conf
Cohesive Powers of Linear Orders.
CiE
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2019 J jnl
Comparing the degrees of enumerability and the closed Medvedev degrees.
Arch. Math. Log.
Paul Shafer, Andrea Sorbi
2017 J jnl
Honest elementary degrees and degrees of relative provability without the cupping property.
Ann. Pure Appl. Log.
Paul Shafer
2017 J jnl
Randomness and Semimeasures.
Notre Dame J. Formal Log.
Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer
2016 J jnl
Reverse mathematics, well-quasi-orders, and Noetherian spaces.
Arch. Math. Log.
Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
2015 J jnl
Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑
J. Symb. Log.
François G. Dorais, Jeffry L. Hirst, Paul Shafer
2015 J jnl
Universality, optimality, and randomness deficiency.
Ann. Pure Appl. Log.
Rupert Hölzl, Paul Shafer
2013 J jnl
Reverse Mathematics and Algebraic Field Extensions.
Comput.
François G. Dorais, Jeffry L. Hirst, Paul Shafer
2012 J jnl
Coding true arithmetic in the Medvedev degrees of Π
Ann. Pure Appl. Log.
Paul Shafer
2012 J jnl
Menger's theorem in Π
Arch. Math. Log.
Paul Shafer
2012 J jnl
Reverse mathematics, trichotomy, and dichotomy.
J. Log. Anal.
François G. Dorais, Jeffry L. Hirst, Paul Shafer
2011 J jnl
Characterizing the Join-Irreducible Medvedev Degrees.
Notre Dame J. Formal Log.
Paul Shafer
2011 J jnl
Coding true arithmetic in the Medvedev and Muchnik degrees.
J. Symb. Log.
Paul Shafer
2006 J jnl
Hubs of knowledge: using the functional link structure in Biozon to mine for biologically significant entities.
BMC Bioinform.
Paul Shafer, Timothy Isganitis, Golan Yona