1. Lecture Notes in Computer Science;M. Smet De,2008
2. De Smet, M.: Unprovability and phase transitions in Ramsey theory. PhD thesis, Ghent (2011)
3. Hirst, J.L.: Combinatorics in subsystems of second-order arithmetic. PhD thesis, Pennsylvania State University (1987)
4. Kojman, M., Lee, G., Omri, E., Weiermann, A.: Weiermann: Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers. JCT A. 115(6), 1036–1055 (2008)
5. Omri, E., Weiermann, A.: Classifying the phase transition threshold for Ackermannian functions. Ann. Pure Appl. Logic 158(3), 156–162 (2009)