2006 |
15 | EE | Peter Cholak,
Richard A. Shore,
Reed Solomon:
A computably stable structure with no Scott family of finitary formulas.
Arch. Math. Log. 45(5): 519-538 (2006) |
2003 |
14 | | Peter Cholak,
Leo Harrington:
Isomorphisms of splits of computably enumerable sets.
J. Symb. Log. 68(3): 1044-1064 (2003) |
2002 |
13 | | Peter Cholak,
Rodney G. Downey,
Stephen Walk:
Maximal Contiguous Degrees.
J. Symb. Log. 67(1): 409-437 (2002) |
2001 |
12 | | Peter Cholak,
Rodney G. Downey,
Eberhard Herrmann:
Some orbits for E.
Ann. Pure Appl. Logic 107(1-3): 193-226 (2001) |
11 | | Peter Cholak,
Carl G. Jockusch Jr.,
Theodore A. Slaman:
On The Strength of Ramsey's Theorem for Pairs.
J. Symb. Log. 66(1): 1-55 (2001) |
10 | | Peter Cholak,
Marcia J. Groszek,
Theodore A. Slaman:
An Almost Deep Degree.
J. Symb. Log. 66(2): 881-901 (2001) |
2000 |
9 | EE | Peter Cholak,
Leo Harrington:
Definable encodings in the computably enumerable sets.
Bulletin of Symbolic Logic 6(2): 185-196 (2000) |
1999 |
8 | | Peter Cholak,
Sergei S. Goncharov,
Bakhadyr Khoussainov,
Richard A. Shore:
Computably Categorical Structures and Expansions by Constants.
J. Symb. Log. 64(1): 13-37 (1999) |
1998 |
7 | | 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) |
1997 |
6 | | Christopher J. Ash,
Peter Cholak,
Julia F. Knight:
Permitting, Forcing, and Copying of a Given Recursive Relation.
Ann. Pure Appl. Logic 86(3): 219-236 (1997) |
1994 |
5 | | Peter Cholak,
Howard A. Blair:
The Complexity of Local Stratification.
Fundam. Inform. 21(4): 333-344 (1994) |
1993 |
4 | | Peter Cholak,
Rodney G. Downey:
Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees.
Ann. Pure Appl. Logic 61(3): 195-221 (1993) |
3 | | Peter Cholak,
Rodney G. Downey:
On the Cantor-Bendixon Rank of Recursively Enumerable Sets.
J. Symb. Log. 58(2): 629-640 (1993) |
1992 |
2 | EE | Peter Cholak,
Efim B. Kinber,
Rodney G. Downey,
Martin Kummer,
Lance Fortnow,
Stuart A. Kurtz,
William I. Gasarch,
Theodore A. Slaman:
Degrees of Inferability.
COLT 1992: 180-192 |
1990 |
1 | | Peter Cholak:
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets.
J. Symb. Log. 55(2): 744-760 (1990) |