dblp.uni-trier.dewww.uni-trier.de

Peter Cholak Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
16EEPeter Cholak, Rodney G. Downey, Leo Harrington: The Complexity of Orbits of Computably Enumerable Sets. Bulletin of Symbolic Logic 14(1): 69-87 (2008)
2006
15EEPeter 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
9EEPeter 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
2EEPeter 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)

Coauthor Index

1Christopher J. Ash [6]
2Howard A. Blair [5]
3Rodney G. Downey (Rod Downey) [2] [3] [4] [12] [13] [16]
4Lance Fortnow [2]
5William I. Gasarch [2]
6Sergei S. Goncharov [8]
7Marcia J. Groszek [10]
8Leo Harrington [9] [14] [16]
9Eberhard Herrmann [12]
10Carl G. Jockusch Jr. [11]
11Bakhadyr Khoussainov [8]
12Efim B. Kinber [2]
13Julia F. Knight [6]
14Martin Kummer [2]
15Stuart A. Kurtz [2]
16Richard A. Shore [8] [15]
17Theodore A. Slaman [2] [10] [11]
18Reed Solomon [15]
19Stephen Walk [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)