Ghent University Academic Bibliography


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.