Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Paul Shafer

Awards & Distinctions

15 Results

2017

On the logical strengths of partial solutions to mathematical problems

Laurent BienvenuLudovic PateyPaul Shafer

A2 Journal Article in TRANSACTIONS OF THE LONDON MATHEMATICAL SOCIETY

2016

On uniform relationships between combinatorial problems

François G DoraisDamir D DzhafarovJeffry L HirstJoseph R MiletiPaul Shafer

A1 Journal Article in TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY

Reverse mathematics, well-quasi-orders, and Noetherian spaces

Emanuele FrittaionMatthew HendtlassAlberto MarconePaul ShaferJeroen Van der Meeren

A1 Journal Article in ARCHIVE FOR MATHEMATICAL LOGIC

2015

Comparing the strength of diagonally nonrecursive functions in the absence of Σ⁰₂ induction

François G DoraisJeffry L HirstPaul Shafer

A1 Journal Article in JOURNAL OF SYMBOLIC LOGIC

Universality, optimality, and randomness deficiency

Rupert HölzlPaul Shafer

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

2013

Reverse mathematics and algebraic field extensions

François G DoraisJeffry L HirstPaul Shafer

A1 Journal Article in COMPUTABILITY

2012

Coding true arithmetic in the Medvedev degrees of Pi(0)(1) classes

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Menger's theorem in Pi(1)(1)-CA(0)

A1 Journal Article in ARCHIVE FOR MATHEMATICAL LOGIC

Reverse mathematics, trichotomy and dichotomy

François G DoraisJeffry L HirstPaul Shafer

A2 Journal Article in JOURNAL OF LOGIC AND ANALYSIS

2011

Characterizing the join-irreducible Medvedev degrees

A1 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

Coding true arithmetic in the Medvedev and Muchnik degrees

A1 Journal Article in JOURNAL OF SYMBOLIC LOGIC

On the complexity of mathematical problems : Medvedev degrees and reverse mathematics

Paul ShaferRichard A. Shore

2007

Novel subdomains of the mouse olfactory bulb defined by molecular heterogeneity in the nascent external plexiform and glomerular layers

Eric O WilliamsYuanyuan XiaoHeather M SicklesPaul ShaferGolan YonaJean YH YangDavid M Lin

A1 Journal Article in BMC DEVELOPMENTAL BIOLOGY

2006

EST2Prot: mapping EST sequences to proteins

Paul ShaferDavid M LinGolan Yona

A1 Journal Article in BMC GENOMICS

Hubs of knowledge : using the functional link structure in Biozon to mine for biologically significant entities

Paul ShaferTimothy IsganitisGolan Yona

A1 Journal Article in BMC BIOINFORMATICS