- ORCID iD
- 0000-0001-5386-9218
Show
Sort by
-
On the logical strengths of partial solutions to mathematical problems
-
- Journal Article
- A1
- open access
On uniform relationships between combinatorial problems
-
Reverse mathematics, well-quasi-orders, and Noetherian spaces
-
- Journal Article
- A1
- open access
Universality, optimality, and randomness deficiency
-
- Journal Article
- A1
- open access
Comparing the strength of diagonally nonrecursive functions in the absence of Σ⁰₂ induction
-
Reverse mathematics and algebraic field extensions
-
Menger's theorem in Pi(1)(1)-CA(0)
-
Coding true arithmetic in the Medvedev degrees of Pi(0)(1) classes
-
Reverse mathematics, trichotomy and dichotomy
-
Coding true arithmetic in the Medvedev and Muchnik degrees
-
Characterizing the join-irreducible Medvedev degrees
-
On the complexity of mathematical problems : Medvedev degrees and reverse mathematics
(2011) -
- Journal Article
- A1
- open access
Novel subdomains of the mouse olfactory bulb defined by molecular heterogeneity in the nascent external plexiform and glomerular layers
-
- Journal Article
- A1
- open access
EST2Prot: mapping EST sequences to proteins
-
- Journal Article
- A1
- open access
Hubs of knowledge : using the functional link structure in Biozon to mine for biologically significant entities