Searching for authors named "Peter Cholak" – sorted by Relevance.
-
LECTURES ON EFFECTIVE RANDOMNESS Wednesday, August 23
- LECTURES ON EFFECTIVE RANDOMNESS Wednesday, August 23 PETER CHOLAK 1. Introduction This class
- Add To MetaCart
-
Iterated Relative Recursive Enummmerability
- This paper is in the recent tradition of studying sets (of natural numbers) and (Turing) degrees which although not recursively enumerable (r.e.) are closely related to r.e. sets and degrees. ur starting point is the following pair of results.
- Add To MetaCart
-
The Global Structure of Computably Enumerable Sets
- Contemporary Mathematics The global structure of computably enumerable sets Peter A. Cholak
- Cited by 2 (1 self) – Add To MetaCart
-
Contemporary Mathematics The
- Contemporary Mathematics The global structure of computably enumerable sets Peter A. Cholak
- Add To MetaCart
-
An Almost Deep Degree
- An Almost Deep Degree Peter Cholak ∗ University of Notre Dame Marcia Groszek Dartmouth College
- Add To MetaCart
-
Invariance And Noninvariance In The Lattice Of Pi Classes
- INVARIANCE AND NONINVARIANCE IN THE LATTICE OF \Pi 0 1 CLASSES Peter A. Cholak and Rod Downey We
- Add To MetaCart
-
Automorphisms of the lattice of Π 0 1 classes: perfect thin classes and anc degrees
- THIN CLASSES AND ANC DEGREES PETER CHOLAK, RICHARD COLES, ROD DOWNEY, AND EBERHARD HERRMANN Abstract. Π
- Cited by 10 (4 self) – Add To MetaCart
-
Intervals without critical triples
- INTERVALS WITHOUT CRITICAL TRIPLES PETER CHOLAK, ROD DOWNEY AND RICHARD SHORE Abstract. This paper
- Cited by 4 (3 self) – Add To MetaCart
-
Reverse Mathematics and the Equivalence of Definitions for well and better quasi-orders
- Introduction Peter Cholak Department of Mathematics, University of Notre Dame, USA Alberto Marcone Dipartimento
- Cited by 5 (1 self) – Add To MetaCart
-
Extension theorems, orbits, and automorphisms of the computably enumerable sets
- , AND AUTOMORPHISMS OF THE COMPUTABLY ENUMERABLE SETS PETER A. CHOLAK AND LEO A. HARRINGTON Abstract. We prove
- Cited by 4 (4 self) – Add To MetaCart

