| [1] | Peter Cholak. Automorphisms of the lattice of recursively enumerable sets. Mem. Amer. Math. Soc., 113(541):viii+151, 1995. MR 95f:03064. |
| [2] | Paul-Elliot Anglès d'Auriac, Peter A Cholak, Damir D Dzhafarov, Benoit Monin, and Ludovic Patey. Milliken's tree theorem and its applications: a computability-theoretic perspective. Memoirs of the American Mathematical Society, 293(1457), 2024. Pdf. [ DOI | arXiv ] |
| [3] | Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, and Ludovic Patey. Some results concerning the SRT22 vs. COH problem. Computability, 9(3-4):193--217, 2020. Pdf. MR 4133713. [ DOI ] |
| [4] | Peter A. Cholak and Peter M. Gerdes. Extending properly n-REA sets. Computability, 11:241--267, 2022. [ DOI | arXiv | http ] |
| [5] | Peter Cholak and Ludovic Patey. Thin set theorems and cone avoidance. Trans. Amer. Math. Soc., 373(4):2743--2773, 2020. Pdf. MR 4069232. [ DOI | http ] |
| [6] | Peter A. Cholak, Gregory Igusa, Ludovic Patey, Mariya I. Soskova, and Dan Turetsky. The Rado path decomposition theorem. Israel J. Math., 234(1):179--208, 2019. MR 4040825. [ DOI | http ] |
| [7] | Peter Cholak and Charlie McCoy. Effective prime uniqueness. Proc. Amer. Math. Soc., 145(12):5363--5379, 2017. Pdf. MR 3717963. [ http ] |
| [8] | Peter Cholak and Gregory Igusa. Density-1-bounding and quasiminimality in the generic degrees. J. Symb. Log., 82(3):931--957, 2017. Pdf. MR 3694335. [ DOI | http ] |
| [9] | Peter Cholak, Rodney G. Downey, and Greg Igusa. Any FIP real computes a 1-generic. Trans. Amer. Math. Soc., 369(8):5855--5869, 2017. Pdf. MR 3646781. [ DOI | http ] |
| [10] | Peter Cholak and Rachel Epstein. Computably enumerable sets that are automorphic to low sets. Computability, 6(1):23--45, 2017. Pdf. MR 3609716. [ DOI | http ] |
| [11] | Peter A. Cholak, Peter Gerdes, and Karen Lange. D-maximal sets. J. Symb. Log., 80(4):1182--1210, 2015. Pdf. MR 3436364. [ DOI | http ] |
| [12] | Peter A. Cholak, Damir D. Dzhafarov, and Mariya I. Soskova. Genericity for Mathias forcing over general Turing ideals. Israel J. Math., 216(2):583--604, 2016. Pdf. MR 3557458. [ DOI | http ] |
| [13] | Peter Cholak. Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets. J. Symbolic Logic, 55(2):744--760, 1990. MR 91j:03055. |
| [14] | Peter Cholak, Rod Downey, and Micheal Stob. Automorphisms of the lattice of recursively enumerable sets: promptly simple sets. Trans. Amer. Math. Soc., 332(2):555--570, 1992. MR 92j:03039. |
| [15] | Peter Cholak and Rod Downey. On the Cantor-Bendixon rank of recursively enumerable sets. J. Symbolic Logic, 58(2):629--640, 1993. MR 94h:03081. |
| [16] | Peter Cholak and Rod Downey. Lattice nonembeddings and intervals of the recursively enumerable degrees. Ann. Pure Appl. Logic, 61(3):195--221, 1993. MR 94h:03080. |
| [17] | Peter Cholak and Rod Downey. Recursively enumerable m- and tt-degrees. III. Realizing all finite distributive lattices. J. London Math. Soc. (2), 50(3):440--453, 1994. Pdf. MR 95m:03089. |
| [18] | Peter Cholak and Rod Downey. Permutations and presentations. Proc. Amer. Math. Soc., 122(4):1237--1249, 1994. MR 95b:03046. |
| [19] | Peter Cholak. The translation theorem. Arch. Math. Logic, 33(2):87--108, 1994. MR 95d:03074. |
| [20] | Peter Cholak and Peter G. Hinman. Iterated relative recursive enumerability. Arch. Math. Logic, 33(5):321--346, 1994. Pdf. MR 96a:03056. |
| [21] | Peter Cholak and Howard A. Blair. The complexity of local stratification. Fund. Inform., 21(4):333--344, 1994. Pdf. MR 96b:68027. |
| [22] | C. J. Ash, P. Cholak, and J. F. Knight. Permitting, forcing, and copying of a given recursive relation. Ann. Pure Appl. Logic, 86(3):219--236, 1997. MR 98j:03062. |
| [23] | Peter Cholak. The dense simple sets are orbit complete with respect to the simple sets. Ann. Pure Appl. Logic, 94(1-3):37--44, 1998. Conference on Computability Theory (Oberwolfach, 1996). Pdf. MR 99m:03081. |
| [24] | Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov, and Richard A. Shore. Computably categorical structures and expansions by constants. J. Symbolic Logic, 64(1):13--37, 1999. Pdf. MR 2001a:03079. |
| [25] | Peter Cholak and André Nies. Atomless r-maximal sets. Israel J. Math., 113:305--322, 1999. Pdf. MR 2001a:03087. |
| [26] | Peter Cholak and Leo A. Harrington. Definable encodings in the computably enumerable sets. Bull. Symbolic Logic, 6(2):185--196, 2000. Pdf. MR 2001k:03085. |
| [27] | Peter Cholak, Rod Downey, and Eberhard Herrmann. Some orbits for E. Ann. Pure Appl. Logic, 107(1-3):193--226, 2001. Pdf. MR 2001k:03086. |
| [28] | Peter Cholak, Carl G. Jockusch, and Theodore A. Slaman. On the strength of Ramsey's theorem for pairs. J. Symbolic Logic, 66(1):1--55, 2001. Errata. Pdf. MR 2002c:03094. |
| [29] | Peter Cholak, Marcia Groszek, and Theodore Slaman. An almost deep degree. J. Symbolic Logic, 66(2):881--901, 2001. Pdf. MR 2002d:03070. |
| [30] | Peter Cholak, Richard Coles, Rod Downey, and Eberhard Herrmann. Automorphisms of the lattice of Π01 classes: perfect thin classes and anc degrees. Trans. Amer. Math. Soc., 353(12):4899--4924 (electronic), 2001. Pdf. MR 2002f:03080. |
| [31] | Peter Cholak and Leo A. Harrington. On the definability of the double jump in the computably enumerable sets. J. Math. Log., 2(2):261--296, 2002. Pdf. MR 2003h:03063. |
| [32] | Peter Cholak, Rod Downey, and Stephen Walk. Maximal contiguous degrees. J. Symbolic Logic, 67(1):409--437, 2002. Pdf. MR 2002m:03060. |
| [33] | Peter Cholak and Leo A. Harrington. Isomorphisms of splits of computably enumerable sets. J. Symbolic Logic, 68(3):1044--1064, 2003. Pdf. MR 2004f:03077. |
| [34] | Peter Cholak, Alberto Marcone, and Reed Solomon. Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symbolic Logic, 69(3):683--712, 2004. Pdf. MR 2005e:03020. |
| [35] | Peter Cholak and Rod Downey. Invariance and noninvariance in the lattice of Π01 classes. J. London Math. Soc. (2), 70(3):735--749, 2004. Pdf. MR 2005e:03092. |
| [36] | Peter Cholak, Richard A. Shore, and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Arch. Math. Logic, 45(5):519--538, 2006. MR MR2231788 (2007b:03068). |
| [37] | Peter Cholak, Noam Greenberg, and Joseph S. Miller. Uniform almost everywhere domination. J. Symbolic Logic, 71(3):1057--1072, 2006. math.LO/0506019. Pdf. MR MR2251556. |
| [38] | Peter Cholak, Rodney Downey, and Leo A. Harrington. On the orbits of computably enumerable sets. J. Amer. Math. Soc., 21(4):1105--1135, 2008. Pdf. MR MR2425182. |
| [39] | Peter Cholak, Rod Downey, and Leo A. Harrington. The complexity of orbits of computably enumerable sets. Bull. Symbolic Logic, 14(1):69--87, 2008. Pdf. MR MR2395047. |
| [40] | Peter Cholak and Leo A. Harrington. Extension theorems, orbits, and automorphisms of the computably enumerable sets. Trans. Amer. Math. Soc., 360(4):1759--1791, 2008. math.LO/0408279. Pdf. MR MR2366962. |
| [41] | Peter Cholak, Rod Downey, and Noam Greenberg. Strong jump-traceabilty. I. The computably enumerable case. Adv. Math., 217(5):2045--2074, 2008. Pdf. MR 2388085 (2008k:03087). |
| [42] | Peter A. Cholak, Damir D. Dzhafarov, Noah Schweber, and Richard A. Shore. Computably enumerable partial orders. Computability, 1(2):99--107, 2012. Pdf. MR 3064224. |
| [43] | Peter Cholak, David Galvin, and Reed Solomon. Reverse mathematics and infinite traceable graphs. MLQ Math. Log. Q., 58(1-2):18--28, 2012. MR 2896819. [ DOI | http ] |
| [44] | Peter Cholak, Peter M. Gerdes, and Karen Lange. On n-tardy sets. Ann. Pure Appl. Logic, 163(9):1252--1270, 2012. MR 2926283. [ DOI | http ] |
| [45] | Peter A. Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, and Theodore A. Slaman. Generics for computable Mathias forcing. Ann. Pure Appl. Logic, 165(9):1418--1428, 2014. MR 3210076. [ DOI | http ] |
This file was generated by bibtex2html 1.99.