Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Paul Shafer

Publicaties & datasets

Prijzen & Erkenningen

17 Resultaten

2024

(Extra)ordinary equivalences with the ascending/descending sequence principle

Marta Fiori-CaronesAlberto MarconePaul ShaferGiovanni Solda

A1 Artikel in een tijdschrift in JOURNAL OF SYMBOLIC LOGIC

2017

On the logical strengths of partial solutions to mathematical problems

Laurent BienvenuLudovic PateyPaul Shafer

A2 Artikel in een tijdschrift 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 Artikel in een tijdschrift in TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY

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

Emanuele FrittaionMatthew HendtlassAlberto MarconePaul ShaferJeroen Van der Meeren

A1 Artikel in een tijdschrift in ARCHIVE FOR MATHEMATICAL LOGIC

The reverse mathematics of the Tietze extension theorem

A1 Artikel in een tijdschrift in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

2015

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

François G DoraisJeffry L HirstPaul Shafer

A1 Artikel in een tijdschrift in JOURNAL OF SYMBOLIC LOGIC

Universality, optimality, and randomness deficiency

Rupert HölzlPaul Shafer

A1 Artikel in een tijdschrift in ANNALS OF PURE AND APPLIED LOGIC

2013

Reverse mathematics and algebraic field extensions

François G DoraisJeffry L HirstPaul Shafer

A1 Artikel in een tijdschrift in COMPUTABILITY

2012

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

A1 Artikel in een tijdschrift in ANNALS OF PURE AND APPLIED LOGIC

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

A1 Artikel in een tijdschrift in ARCHIVE FOR MATHEMATICAL LOGIC

Reverse mathematics, trichotomy and dichotomy

François G DoraisJeffry L HirstPaul Shafer

A2 Artikel in een tijdschrift in JOURNAL OF LOGIC AND ANALYSIS

2011

Characterizing the join-irreducible Medvedev degrees

A1 Artikel in een tijdschrift in NOTRE DAME JOURNAL OF FORMAL LOGIC

Coding true arithmetic in the Medvedev and Muchnik degrees

A1 Artikel in een tijdschrift 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 Artikel in een tijdschrift in BMC DEVELOPMENTAL BIOLOGY

2006

EST2Prot: mapping EST sequences to proteins

Paul ShaferDavid M LinGolan Yona

A1 Artikel in een tijdschrift in BMC GENOMICS

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

Paul ShaferTimothy IsganitisGolan Yona

A1 Artikel in een tijdschrift in BMC BIOINFORMATICS