JavaScript is disabled for your browser. Some features of this site may not work without it.
Use of eCommons for rapid dissemination of COVID-19 research
In order to maximize the discoverability of COVID-19 research, and to conform with repository best practices and the requirements of publishers and research funders, we provide special guidance for COVID-19 submissions.
Browsing Cornell Theses and Dissertations by Author "Shafer, Paul"
Now showing items 1-1 of 1
-
On The Complexity Of Mathematical Problems: Medvedev Degrees And Reverse Mathematics
(2011-08-31)We investigate the complexity of mathematical problems from two perspectives: Medvedev degrees and reverse mathematics. In the Medvedev degrees, we calculate the complexity of its first-order theory, and we also calculate ...
