Automorphisms of the lattice of Π 0 1 classes: perfect thin classes and anc degrees

Cached

Download Links

by Peter Cholak , Richard Coles , Rod Downey , Eberhard Herrmann
Venue:Trans. Amer. Math. Soc
Citations:13 - 5 self

Documents Related by Co-Citation

411 Recursively Enumerable Sets and Degrees – Robert I Soare - 1987
26 Array nonrecursive sets and multiple permitting arguments – R Downey, C Jockusch, M Stob - 1990
103 Π 0 1 classes and degrees of theories – Robert I Soare - 1972
27 Mass problems and randomness – Stephen G. Simpson
20 Array Nonrecursive Degrees and Genericity – Rod Downey, Carl G. Jockusch, Michael Stob - 1996
4 Global properties of the lattice of Π 0 1 classes – Douglas Cenzer, Andre Nies - 2004
9 0 1 -Classes-Structure and applications, in Computability Theory and its – D Cenzer, C Jockusch
13 π 0 1 classes in mathematics – D Cenzer, J Remmel - 1997
30 Automorphisms of the lattice of recursively enumerable sets: Orbits – R G Downey, M Stob - 1992
123 Algorithmic randomness and complexity – R Downey, D Hirschfeldt - 2010
25 Almost everywhere domination – Natasha L. Dobrinen, Stephen G. Simpson
17 Uniform almost everywhere domination – Peter Cholak, Noam Greenberg, Joseph, S. Miller - 2006
19 On a conjecture of Dobrinen and Simpson concerning almost everywhere domination – Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon - 2005
26 A splitting theorem for the Medvedev and Muchnik lattices – Stephen Binns - 2003
17 Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes – Stephen Binns, Stephen G. Simpson - 2004
12 Axiomatizable theories with few axiomatizable extensions – D A Martin, M Pour-El - 1970
32 An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees – K Ambos-Spies, Carl G Jockusch, Richard A Shore, Robert I Soare - 1984
19 Kolmogorov complexity and instance complexity of recursively enumerable sets – Martin Kummer, Universität Karlsruhe - 1996
5 Π0 1 classes—structure and applications – Douglas Cenzer, Carl G Jockusch - 1999