×

zbMATH — the first resource for mathematics

Cholak, Peter A.

Compute Distance To:
Author ID: cholak.peter-a Recent zbMATH articles by "Cholak, Peter A."
Published as: Cholak, P.; Cholak, Peter; Cholak, Peter A.
External Links: MGP
Documents Indexed: 53 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 327 times in 235 Documents Cited by Year
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
89
2001
Strong jump-traceability. I: The computably enumerable case. Zbl 1134.03026
Cholak, Peter; Downey, Rod; Greenberg, Noam
20
2008
Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees. Zbl 0978.03033
Cholak, Peter; Coles, Richard; Downey, Rod; Herrmann, Eberhard
19
2001
Automorphisms of the lattice of recursively enumerable sets. Zbl 0821.03019
Cholak, Peter
18
1995
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
1999
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
14
2005
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. Zbl 1075.03030
Cholak, Peter; Marcone, Alberto; Solomon, Reed
12
2004
Corrigendum to: “On the strength of Ramsey’s theorem for pairs”. Zbl 1182.03107
Cholak, Peter A.; Jockusch, Carl G. jun.; Slaman, Theodore A.
11
2009
Uniform almost everywhere domination. Zbl 1109.03034
Cholak, Peter; Greenberg, Noam; Miller, Joseph S.
10
2006
On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034
Cholak, Peter A.; Harrington, Leo A.
9
2002
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
9
1997
Automorphisms of the lattice of recursively enumerable sets: Promptly simple sets. Zbl 0769.03024
Cholak, Peter; Downey, Rod; Stob, Michael
9
1992
Generics for computable Mathias forcing. Zbl 1320.03072
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Slaman, Theodore A.
8
2014
An almost deep degree. Zbl 0992.03049
Cholak, Peter; Groszek, Marcia; Slaman, Theodore
8
2001
The complexity of local stratification. Zbl 0938.68567
Cholak, Peter; Blair, Howard A.
7
1994
Some orbits for \({\mathcal E}\). Zbl 0969.03051
Cholak, Peter; Downey, Rod; Herrmann, Eberhard
6
2001
On the Cantor-Bendixson rank of recursively enumerable sets. Zbl 0782.03021
Cholak, Peter; Downey, Rod
5
1993
On the orbits of computably enumerable sets. Zbl 1214.03028
Cholak, Peter A.; Downey, Rodney; Harrington, Leo A.
4
2008
Isomorphisms of splits of computably enumerable sets. Zbl 1060.03066
Cholak, Peter A.; Harrington, Leo A.
4
2003
Maximal contiguous degrees. Zbl 1007.03041
Cholak, Peter; Downey, Rod; Walk, Stephen
4
2002
Definable encodings in the computably enumerable sets. Zbl 0977.03022
Cholak, Peter A.; Harrington, Leo A.
4
2000
The translation theorem. Zbl 0805.03029
Cholak, Peter
4
1994
Effective prime uniqueness. Zbl 1377.03033
Cholak, Peter; McCoy, Charlie C. S. C.
3
2017
Atomless \(r\)-maximal sets. Zbl 0936.03039
Cholak, Peter A.; Nies, André
3
1999
Density-1-bounding and quasiminimality in the generic degrees. Zbl 1406.03056
Cholak, Peter; Igusa, Gregory
2
2017
Any FIP real computes a 1-generic. Zbl 1423.03142
Cholak, Peter; Downey, Rodney G.; Igusa, Greg
2
2017
Genericity for Mathias forcing over general Turing ideals. Zbl 1377.03031
Cholak, Peter A.; Dzhafarov, Damir D.; Soskova, Mariya I.
2
2016
Computably enumerable partial orders. Zbl 1277.03039
Cholak, Peter A.; Dzhafarov, Damir D.; Schweber, Noah; Shore, Richard A.
2
2012
Extension theorems, orbits, and automorphisms of the computably enumerable sets. Zbl 1170.03021
Cholak, Peter A.; Harrington, Leo A.
2
2008
The Notre Dame lectures. Zbl 1064.03002
Cholak, Peter (ed.)
2
2005
The global structure of computably enumerable sets. Zbl 0959.03026
Cholak, Peter A.
2
2000
The dense simple sets are orbit complete with respect to the simple sets. Zbl 0924.03078
Cholak, Peter
2
1998
Recursively enumerable \(m\)- and \(tt\)-degrees. III: Realizing all finite distributive lattices. Zbl 0812.03020
Cholak, Peter; Downey, Rod
2
1994
Iterated relative recursive enumerability. Zbl 0810.03035
Cholak, Peter A.; Hinman, Peter G.
2
1994
Lattice nonembeddings and intervals of the recursively enumerable degrees. Zbl 0782.03020
Cholak, Peter; Downey, Rod
2
1993
\(\mathcal{D}\)-maximal sets. Zbl 1371.03048
Cholak, Peter A.; Gerdes, Peter; Lange, Karen
1
2015
On Mathias generic sets. Zbl 1358.03054
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.
1
2012
The complexity of orbits of computably enumerable sets. Zbl 1142.03022
Cholak, Peter A.; Downey, Rodney; Harrington, Leo A.
1
2008
A computably stable structure with no Scott family of finitary formulas. Zbl 1170.03024
Cholak, Peter; Shore, Richard A.; Solomon, Reed
1
2006
Invariance and noninvariance in the lattice of \(\Pi^0_1\) classes. Zbl 1065.03022
Cholak, Peter A.; Downey, Rod
1
2004
Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13–17, 1999. Zbl 0945.00017
Cholak, Peter A. (ed.); Lempp, Steffen (ed.); Lerman, Manuel (ed.); Shore, Richard A. (ed.)
1
2000
Intervals without critical triples. Zbl 0897.03046
Cholak, Peter; Downey, Rod; Shore, Richard
1
1998
Undecidability and definability for parametrized polynomial time \(m\)- reducibilities. Zbl 0820.03026
Cholak, Peter; Downey, Rod
1
1993
Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets. Zbl 0703.03020
Cholak, Peter
1
1990
Effective prime uniqueness. Zbl 1377.03033
Cholak, Peter; McCoy, Charlie C. S. C.
3
2017
Density-1-bounding and quasiminimality in the generic degrees. Zbl 1406.03056
Cholak, Peter; Igusa, Gregory
2
2017
Any FIP real computes a 1-generic. Zbl 1423.03142
Cholak, Peter; Downey, Rodney G.; Igusa, Greg
2
2017
Genericity for Mathias forcing over general Turing ideals. Zbl 1377.03031
Cholak, Peter A.; Dzhafarov, Damir D.; Soskova, Mariya I.
2
2016
\(\mathcal{D}\)-maximal sets. Zbl 1371.03048
Cholak, Peter A.; Gerdes, Peter; Lange, Karen
1
2015
Generics for computable Mathias forcing. Zbl 1320.03072
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Slaman, Theodore A.
8
2014
Computably enumerable partial orders. Zbl 1277.03039
Cholak, Peter A.; Dzhafarov, Damir D.; Schweber, Noah; Shore, Richard A.
2
2012
On Mathias generic sets. Zbl 1358.03054
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.
1
2012
Corrigendum to: “On the strength of Ramsey’s theorem for pairs”. Zbl 1182.03107
Cholak, Peter A.; Jockusch, Carl G. jun.; Slaman, Theodore A.
11
2009
Strong jump-traceability. I: The computably enumerable case. Zbl 1134.03026
Cholak, Peter; Downey, Rod; Greenberg, Noam
20
2008
On the orbits of computably enumerable sets. Zbl 1214.03028
Cholak, Peter A.; Downey, Rodney; Harrington, Leo A.
4
2008
Extension theorems, orbits, and automorphisms of the computably enumerable sets. Zbl 1170.03021
Cholak, Peter A.; Harrington, Leo A.
2
2008
The complexity of orbits of computably enumerable sets. Zbl 1142.03022
Cholak, Peter A.; Downey, Rodney; Harrington, Leo A.
1
2008
Uniform almost everywhere domination. Zbl 1109.03034
Cholak, Peter; Greenberg, Noam; Miller, Joseph S.
10
2006
A computably stable structure with no Scott family of finitary formulas. Zbl 1170.03024
Cholak, Peter; Shore, Richard A.; Solomon, Reed
1
2006
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
14
2005
The Notre Dame lectures. Zbl 1064.03002
Cholak, Peter (ed.)
2
2005
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. Zbl 1075.03030
Cholak, Peter; Marcone, Alberto; Solomon, Reed
12
2004
Invariance and noninvariance in the lattice of \(\Pi^0_1\) classes. Zbl 1065.03022
Cholak, Peter A.; Downey, Rod
1
2004
Isomorphisms of splits of computably enumerable sets. Zbl 1060.03066
Cholak, Peter A.; Harrington, Leo A.
4
2003
On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034
Cholak, Peter A.; Harrington, Leo A.
9
2002
Maximal contiguous degrees. Zbl 1007.03041
Cholak, Peter; Downey, Rod; Walk, Stephen
4
2002
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
89
2001
Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees. Zbl 0978.03033
Cholak, Peter; Coles, Richard; Downey, Rod; Herrmann, Eberhard
19
2001
An almost deep degree. Zbl 0992.03049
Cholak, Peter; Groszek, Marcia; Slaman, Theodore
8
2001
Some orbits for \({\mathcal E}\). Zbl 0969.03051
Cholak, Peter; Downey, Rod; Herrmann, Eberhard
6
2001
Definable encodings in the computably enumerable sets. Zbl 0977.03022
Cholak, Peter A.; Harrington, Leo A.
4
2000
The global structure of computably enumerable sets. Zbl 0959.03026
Cholak, Peter A.
2
2000
Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13–17, 1999. Zbl 0945.00017
Cholak, Peter A. (ed.); Lempp, Steffen (ed.); Lerman, Manuel (ed.); Shore, Richard A. (ed.)
1
2000
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
1999
Atomless \(r\)-maximal sets. Zbl 0936.03039
Cholak, Peter A.; Nies, André
3
1999
The dense simple sets are orbit complete with respect to the simple sets. Zbl 0924.03078
Cholak, Peter
2
1998
Intervals without critical triples. Zbl 0897.03046
Cholak, Peter; Downey, Rod; Shore, Richard
1
1998
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
9
1997
Automorphisms of the lattice of recursively enumerable sets. Zbl 0821.03019
Cholak, Peter
18
1995
The complexity of local stratification. Zbl 0938.68567
Cholak, Peter; Blair, Howard A.
7
1994
The translation theorem. Zbl 0805.03029
Cholak, Peter
4
1994
Recursively enumerable \(m\)- and \(tt\)-degrees. III: Realizing all finite distributive lattices. Zbl 0812.03020
Cholak, Peter; Downey, Rod
2
1994
Iterated relative recursive enumerability. Zbl 0810.03035
Cholak, Peter A.; Hinman, Peter G.
2
1994
On the Cantor-Bendixson rank of recursively enumerable sets. Zbl 0782.03021
Cholak, Peter; Downey, Rod
5
1993
Lattice nonembeddings and intervals of the recursively enumerable degrees. Zbl 0782.03020
Cholak, Peter; Downey, Rod
2
1993
Undecidability and definability for parametrized polynomial time \(m\)- reducibilities. Zbl 0820.03026
Cholak, Peter; Downey, Rod
1
1993
Automorphisms of the lattice of recursively enumerable sets: Promptly simple sets. Zbl 0769.03024
Cholak, Peter; Downey, Rod; Stob, Michael
9
1992
Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets. Zbl 0703.03020
Cholak, Peter
1
1990
all top 5

Cited by 174 Authors

26 Downey, Rodney Graham
21 Cholak, Peter A.
15 Hirschfeldt, Denis Roman
14 Patey, Ludovic
12 Dzhafarov, Damir D.
12 Greenberg, Noam
11 Shore, Richard A.
11 Solomon, Reed
10 Nies, André Otfrid
9 Jockusch, Carl G. jun.
9 Montalbán, Antonio
8 Khoussainov, Bakhadyr M.
8 Slaman, Theodore A.
8 Yang, Yue
7 Marcone, Alberto
6 Barmpalias, George
6 Chong, Chi Tat
5 Cenzer, Douglas
5 Harizanov, Valentina S.
5 Harrington, Leo A.
5 Hirst, Jeffry Lynn
5 Kreuzer, Alexander P.
5 Mileti, Joseph R.
5 Ng, KengMeng
5 Wu, Guohua
4 Carlucci, Lorenzo
4 Rondogiannis, Panos
4 Shafer, Paul
4 Simpson, Stephen G.
4 Stephan, Frank
4 Wang, Wei
4 Weber, Rebecca
4 Yokoyama, Keita
3 Conidis, Chris J.
3 Csima, Barbara F.
3 Dorais, François Gilbert
3 Frittaion, Emanuele
3 Hölzl, Rupert
3 Kjos-Hanssen, Bjørn
3 Kotlarski, Henryk
3 Lange, Karen
3 Lempp, Steffen
3 Lerman, Manuel
3 Li, Angsheng
3 Miller, Russell G.
3 Stob, Michael
3 Weiermann, Andreas
3 Zdanowski, Konrad
2 Ambos-Spies, Klaus
2 Arslanov, Marat M.
2 Avigad, Jeremy
2 Binns, Stephen
2 Brattka, Vasco
2 Chubb, Jennifer
2 Corduan, Jared R.
2 Diamondstone, David E.
2 Epstein, Rachel
2 Faizrakhmanov, Marat Kh.
2 Flood, Stephen P.
2 Gerdes, Peter M.
2 Hendtlass, Matthew Ralph John
2 Herrmann, Eberhard
2 Knight, Julia F.
2 Kogabaev, N. T.
2 Kołodziejczyk, Leszek Aleksander
2 LaForte, Geoffrey L.
2 Lawton, Linda
2 Li, Wei
2 McNicholl, Timothy H.
2 Miller, Joseph S.
2 Morozov, Andreĭ Sergeevich
2 Mummert, Carl
2 Nomikos, Christos
2 Schlipf, John Stewart
2 Schupp, Paul E.
2 Symeonidou, Ioanna
2 Towsner, Henry
2 Turetsky, Dan
2 Turetsky, Daniel D.
2 Van der Meeren, Jeroen
2 Westrick, Linda Brown
2 Wood, Carol
1 Abrahamson, Karl A.
1 Akama, Yohji
1 Ash, Christopher John
1 Astor, Eric P.
1 Bagaria, Joan
1 Batyrshin, Ilnur I.
1 Bazhenov, Nikolaĭ Alekseevich
1 Bienvenu, Laurent
1 Bigorajska, Teresa
1 Blair, Howard A.
1 Bovykin, Andrey I.
1 Brodhead, Katie
1 Brodhead, Paul
1 Calvert, Wesley
1 Chisholm, John Stephen Roy
1 Cole, Joshua A.
1 Coles, Richard J.
1 Cooper, Stuart Barry
...and 74 more Authors

Citations by Year