test FOO test
Computability in Europe 2006
Logical Approaches to Computational Barriers
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 recursive functions, witness bounding
functions for well-partial orders and Ramsey functions. In the last section
we prove in addition some results which show how the asymptotic
of the standard Ramsey function is affected by phase transitions
for associated parameterized Ramsey functions.
websites: Arnold Beckmann