Paul Shafer

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 11

Top Topics

Grammar Induction

Concept Formation

Linear Constraints

Computer Assisted Learning

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

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