3 search results - page 1 / 1 » A Sharp Phase Transition Threshold for Elementary Descent Re... |
LOGCOM
2007
13 years 4 months ago
2007
Harvey Friedman introduced natural independence results for the Peano axioms via certain schemes of combinatorial well-foundedness. We consider here parameterized versions of this...
MSCS
2006
13 years 4 months ago
2006
We investigate natural systems of fundamental sequences for ordinals below the Howard Bachmann ordinal and study growth rates of the resulting slow growing hierarchies. We consider...
CIE
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...