Advanced search

Project: Asymptotic behaviour of count functions and phase transitions for independence results

01-OCT-07 – 30-SEP-09

Investigation of phase transitions in logic and combinatorics: study of the transition from the provability of an assertion to unprovability of the same assertion, triggered by varying a threshold parameter. Examples of such assertion can be found using (quasi) well-orderings and Ramsey theory.