Author:
Aghaei Mojtaba,Khamseh Amir
Reference19 articles.
1. [1] Bovykin, A., “Several proofs of PA-unprovability,” pp. 29–43 in Logic and Its Applications, vol. 380 of Contemporary Mathematics, American Mathematical Society, Providence, 2005.
2. [2] Bovykin, A., “Brief introduction to unprovability,” pp. 38–64 in Logic Colloquium 2006, Lecture Notes in Logic, Association for Symbolic Logic, Chicago, 2009.
3. [3] Bovykin, A., and A. Weiermann, “The strength of infinitary Ramseyan statements can be accessed by their densities,” to appear in Annals of Pure and Applied Logic.
4. [4] Carlucci, L., G. Lee, and A. Weiermann, “Sharp thresholds for hypergraph regressive Ramsey numbers,” Journal of Combinatorial Theory, Series A, vol. 118 (2011), pp. 558–85.
5. [5] Carlucci, L., G. Lee, and A. Weiermann, “Classifying the phase transition threshold for regressive Ramsey functions,” preprint, 2006.