Peter Cholak - RankMe

37 papers A* 2C 1Journal 31Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Algorithmic Information Bounds for Distances and Orthogonal Projections. CoRR Peter Cholak, Marianna Csörnyei, Neil Lutz, Patrick Lutz, Elvira Mayordomo, Donald M. Stull
2023	A*	`conf`	Tighter Bounds on the Expressivity of Transformer Encoders. ICML David Chiang, Peter Cholak, Anand Pillay
2023	J	`jnl`	Tighter Bounds on the Expressivity of Transformer Encoders. CoRR David Chiang, Peter Cholak, Anand Pillay
2022	J	`jnl`	Extending properly n-REA sets. Comput. Peter Cholak, Peter M. Gerdes
2022	—	`conf`	Overcoming a Theoretical Limitation of Self-Attention. ACL (1) David Chiang, Peter Cholak
2022	J	`jnl`	Overcoming a Theoretical Limitation of Self-Attention. CoRR David Chiang, Peter Cholak
2017	J	`jnl`	Computably enumerable sets that are automorphic to low sets. Comput. Peter Cholak, Rachel Epstein
2017	J	`jnl`	Density-1-Bounding and quasiminimality in the Generic Degrees. J. Symb. Log. Peter Cholak, Gregory Igusa
2015	J	`jnl`	${\cal D}$-MAXIMAL SETS. J. Symb. Log. Peter Cholak, Peter M. Gerdes, Karen M. Lange
2014	J	`jnl`	Generics for computable Mathias forcing. Ann. Pure Appl. Log. Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman
2012	J	`jnl`	Computably Enumerable Partial Orders. Comput. Peter Cholak, Damir D. Dzhafarov, Noah David Schweber, Richard A. Shore
2012	C	`conf`	On Mathias Generic Sets. CiE Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
2012	J	`jnl`	On n-tardy sets. Ann. Pure Appl. Log. Peter Cholak, Peter M. Gerdes, Karen M. Lange
2012	J	`jnl`	Reverse mathematics and infinite traceable graphs. Math. Log. Q. Peter Cholak, David J. Galvin, Reed Solomon
2009	J	`jnl`	Corrigendum to: "On the strength of Ramsey's Theorem for pairs". J. Symb. Log. Peter Cholak, Theodore A. Slaman, Carl G. Jockusch Jr.
2008	J	`jnl`	The Complexity of Orbits of Computably Enumerable Sets. Bull. Symb. Log. Peter Cholak, Rodney G. Downey, Leo Harrington
2007	J	`jnl`	Introduction to the Special Issue on Vaught's Conjecture. Notre Dame J. Formal Log. Peter Cholak
2006	J	`jnl`	A computably stable structure with no Scott family of finitary formulas. Arch. Math. Log. Peter Cholak, Richard A. Shore, Reed Solomon
2006	J	`jnl`	Uniform almost everywhere domination. J. Symb. Log. Peter Cholak, Noam Greenberg, Joseph S. Miller
2004	J	`jnl`	Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. Peter Cholak, Alberto Marcone, Reed Solomon
2003	J	`jnl`	Isomorphisms of splits of computably enumerable sets. J. Symb. Log. Peter Cholak, Leo Harrington
2002	J	`jnl`	Maximal Contiguous Degrees. J. Symb. Log. Peter Cholak, Rodney G. Downey, Stephen Walk
2001	J	`jnl`	An Almost Deep Degree. J. Symb. Log. Peter Cholak, Marcia J. Groszek, Theodore A. Slaman
2001	J	`jnl`	On The Strength of Ramsey's Theorem for Pairs. J. Symb. Log. Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman
2001	J	`jnl`	Some orbits for E. Ann. Pure Appl. Log. Peter Cholak, Rodney G. Downey, Eberhard Herrmann
2000	J	`jnl`	Definable encodings in the computably enumerable sets. Bull. Symb. Log. Peter Cholak, Leo Harrington
1999	J	`jnl`	Computably Categorical Structures and Expansions by Constants. J. Symb. Log. Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
1998	J	`jnl`	The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets. Ann. Pure Appl. Log. Peter Cholak
1997	J	`jnl`	Permitting, Forcing, and Copying of a Given Recursive Relation. Ann. Pure Appl. Log. Christopher J. Ash, Peter Cholak, Julia F. Knight
1995	—	`book`	Automorphisms of the lattice of recursively enumerable sets. Peter Cholak
1995	—	`conf`	Intervals Without Critical Triples. Logic Colloquium Peter Cholak, Rod Downey, Richard A. Shore
1994	J	`jnl`	The Complexity of Local Stratification. Fundam. Informaticae Peter Cholak, Howard A. Blair
1994	J	`jnl`	The translation theorem. Arch. Math. Log. Peter Cholak
1993	J	`jnl`	Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees. Ann. Pure Appl. Log. Peter Cholak, Rodney G. Downey
1993	J	`jnl`	On the Cantor-Bendixon Rank of Recursively Enumerable Sets. J. Symb. Log. Peter Cholak, Rodney G. Downey
1992	A*	`conf`	Degrees of Inferability. COLT Peter Cholak, Efim B. Kinber, Rodney G. Downey, Martin Kummer, Lance Fortnow, Stuart A. Kurtz, William I. Gasarch, Theodore A. Slaman
1990	J	`jnl`	Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets. J. Symb. Log. Peter Cholak