Peter Cholak

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 8

Top Topics

Density Distribution

Lower And Upper Bounds

Theoretical Issues

Top Venues

Publications

David Chiang, Peter Cholak, Anand Pillay
Tighter Bounds on the Expressivity of Transformer Encoders. ICML (2023)
David Chiang, Peter Cholak, Anand Pillay
Tighter Bounds on the Expressivity of Transformer Encoders. CoRR (2023)
David Chiang, Peter Cholak
Overcoming a Theoretical Limitation of Self-Attention. CoRR (2022)
David Chiang, Peter Cholak
Overcoming a Theoretical Limitation of Self-Attention. ACL (1) (2022)
Peter Cholak, Peter M. Gerdes
Extending properly n-REA sets. Comput. 11 (3-4) (2022)
Peter Cholak, Gregory Igusa
Density-1-Bounding and quasiminimality in the Generic Degrees. J. Symb. Log. 82 (3) (2017)
Peter Cholak, Rachel Epstein
Computably enumerable sets that are automorphic to low sets. Comput. 6 (1) (2017)
Peter Cholak, Peter M. Gerdes, Karen M. Lange
${\cal D}$-MAXIMAL SETS. J. Symb. Log. 80 (4) (2015)
Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman
Generics for computable Mathias forcing. Ann. Pure Appl. Log. 165 (9) (2014)
Peter Cholak, Damir D. Dzhafarov, Noah David Schweber, Richard A. Shore
Computably Enumerable Partial Orders. Comput. 1 (2) (2012)
Peter Cholak, David J. Galvin, Reed Solomon
Reverse mathematics and infinite traceable graphs. Math. Log. Q. 58 (1-2) (2012)
Peter Cholak, Peter M. Gerdes, Karen M. Lange
On n-tardy sets. Ann. Pure Appl. Log. 163 (9) (2012)
Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
On Mathias Generic Sets. CiE (2012)
Peter Cholak, Theodore A. Slaman, Carl G. Jockusch Jr.
Corrigendum to: "On the strength of Ramsey's Theorem for pairs". J. Symb. Log. 74 (4) (2009)
Peter Cholak, Rodney G. Downey, Leo Harrington
The Complexity of Orbits of Computably Enumerable Sets. Bull. Symb. Log. 14 (1) (2008)
Peter Cholak
Introduction to the Special Issue on Vaught's Conjecture. Notre Dame J. Formal Log. 48 (1) (2007)
Peter Cholak, Richard A. Shore, Reed Solomon
A computably stable structure with no Scott family of finitary formulas. Arch. Math. Log. 45 (5) (2006)
Peter Cholak, Noam Greenberg, Joseph S. Miller
Uniform almost everywhere domination. J. Symb. Log. 71 (3) (2006)
Peter Cholak, Alberto Marcone, Reed Solomon
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. 69 (3) (2004)
Peter Cholak, Leo Harrington
Isomorphisms of splits of computably enumerable sets. J. Symb. Log. 68 (3) (2003)
Peter Cholak, Rodney G. Downey, Stephen Walk
Maximal Contiguous Degrees. J. Symb. Log. 67 (1) (2002)
Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman
On The Strength of Ramsey's Theorem for Pairs. J. Symb. Log. 66 (1) (2001)
Peter Cholak, Marcia J. Groszek, Theodore A. Slaman
An Almost Deep Degree. J. Symb. Log. 66 (2) (2001)
Peter Cholak, Rodney G. Downey, Eberhard Herrmann
Some orbits for E. Ann. Pure Appl. Log. 107 (1-3) (2001)
Peter Cholak, Leo Harrington
Definable encodings in the computably enumerable sets. Bull. Symb. Log. 6 (2) (2000)
Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
Computably Categorical Structures and Expansions by Constants. J. Symb. Log. 64 (1) (1999)
Peter Cholak
The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets. Ann. Pure Appl. Log. 94 (1-3) (1998)
Christopher J. Ash, Peter Cholak, Julia F. Knight
Permitting, Forcing, and Copying of a Given Recursive Relation. Ann. Pure Appl. Log. 86 (3) (1997)
Peter Cholak, Rod Downey, Richard A. Shore
Intervals Without Critical Triples. Logic Colloquium (1995)
Peter Cholak
The translation theorem. Arch. Math. Log. 33 (2) (1994)
Peter Cholak, Howard A. Blair
The Complexity of Local Stratification. Fundam. Informaticae 21 (4) (1994)
Peter Cholak, Rodney G. Downey
Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees. Ann. Pure Appl. Log. 61 (3) (1993)
Peter Cholak, Rodney G. Downey
On the Cantor-Bendixon Rank of Recursively Enumerable Sets. J. Symb. Log. 58 (2) (1993)
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)
Peter Cholak
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets. J. Symb. Log. 55 (2) (1990)