Project: Asymptotic behaviour of count functions and phase transitions for independence results
- project duration
- 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.