Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
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
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
15
Resultaten
2017
On the logical strengths of partial solutions to mathematical problems
Laurent Bienvenu
Ludovic Patey
Paul Shafer
A2
Artikel in een tijdschrift
in
TRANSACTIONS OF THE LONDON MATHEMATICAL SOCIETY
2017
2016
On uniform relationships between combinatorial problems
François G Dorais
Damir D Dzhafarov
Jeffry L Hirst
Joseph R Mileti
Paul Shafer
A1
Artikel in een tijdschrift
in
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
2016
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Emanuele Frittaion
Matthew Hendtlass
Alberto Marcone
Paul Shafer
Jeroen Van der Meeren
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2016
2015
Comparing the strength of diagonally nonrecursive functions in the absence of Σ⁰₂ induction
François G Dorais
Jeffry L Hirst
Paul Shafer
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2015
Universality, optimality, and randomness deficiency
Rupert Hölzl
Paul Shafer
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2015
2013
Reverse mathematics and algebraic field extensions
François G Dorais
Jeffry L Hirst
Paul Shafer
A1
Artikel in een tijdschrift
in
COMPUTABILITY
2013
2012
Coding true arithmetic in the Medvedev degrees of Pi(0)(1) classes
Paul Shafer
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2012
Menger's theorem in Pi(1)(1)-CA(0)
Paul Shafer
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2012
Reverse mathematics, trichotomy and dichotomy
François G Dorais
Jeffry L Hirst
Paul Shafer
A2
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND ANALYSIS
2012
2011
Characterizing the join-irreducible Medvedev degrees
Paul Shafer
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2011
Coding true arithmetic in the Medvedev and Muchnik degrees
Paul Shafer
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2011
On the complexity of mathematical problems : Medvedev degrees and reverse mathematics
Paul Shafer
Richard A. Shore
Proefschrift
2011
2007
Novel subdomains of the mouse olfactory bulb defined by molecular heterogeneity in the nascent external plexiform and glomerular layers
Eric O Williams
Yuanyuan Xiao
Heather M Sickles
Paul Shafer
Golan Yona
Jean YH Yang
David M Lin
A1
Artikel in een tijdschrift
in
BMC DEVELOPMENTAL BIOLOGY
2007
2006
EST2Prot: mapping EST sequences to proteins
Paul Shafer
David M Lin
Golan Yona
A1
Artikel in een tijdschrift
in
BMC GENOMICS
2006
Hubs of knowledge : using the functional link structure in Biozon to mine for biologically significant entities
Paul Shafer
Timothy Isganitis
Golan Yona
A1
Artikel in een tijdschrift
in
BMC BIOINFORMATICS
2006