Results 1 
3 of
3
Automorphisms of the lattice of Π 0 1 classes: perfect thin classes and anc degrees
 Trans. Amer. Math. Soc
"... Abstract. Π0 1 classes are important to the logical analysis of many parts of mathematics. The Π0 1 classes form a lattice. As with the lattice of computably enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality, o ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
Abstract. Π0 1 classes are important to the logical analysis of many parts of mathematics. The Π0 1 classes form a lattice. As with the lattice of computably enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality, or more precisely, hyperhypersimplicity, namely the notion of a thin class. We prove a number of results relating automorphisms, invariance, and thin classes. Our main results are an analog of Martin’s work on hyperhypersimple sets and high degrees, using thin classes and anc degrees, and an analog of Soare’s work demonstrating that maximal sets form an orbit. In particular, we show that the collection of perfect thin classes (a notion which is definable in the lattice of Π0 1 classes) forms an orbit in the lattice of Π01 classes; and a degree is anc iff it contains a perfect thin class. Hence the class of anc degrees is an invariant class for the lattice of Π0 1 classes. We remark that the automorphism result is proven via a ∆0 3 automorphism, and demonstrate that this complexity is necessary. 1.
Automorphisms of the Lattice of ... Classes; Perfect Thin Classes and Anc Degrees
, 1999
"... \Pi 0 1 classes are important to the logical analysis of many parts of mathematics. The \Pi 0 1 classes form a lattice. As with the lattice of computable enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximalit ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
\Pi 0 1 classes are important to the logical analysis of many parts of mathematics. The \Pi 0 1 classes form a lattice. As with the lattice of computable enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality namely the notion of a thin class. We prove a number of results relating automorphisms, invariance and thin classes. Our main result is an analog of the MartinSoare work on maximal sets and high degrees, using thin classes and anc degrees. In particular, we show that the perfect thin classes are definable (in the lattice of \Pi 0 1 classes) and a degree is anc iff it contains a perfect thin class. Hence the class of anc degrees is an invariant class for the lattice of \Pi 0 1 classes. We show that all perfect thin classes are automorphic (via a \Delta 0 3 automorphism). 1 Introduction In [19] Post was the first to articulate the connection between properties of the lattice...
AUTOMORPHISMS OF THE LATTICE OF �0 1 CLASSES; PERFECT THIN CLASSES AND ANC DEGREES
"... Abstract. �0 1 classes are important to the logical analysis of many parts of mathematics. The �0 1 classes form a lattice. As with the lattice of computably enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality, o ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. �0 1 classes are important to the logical analysis of many parts of mathematics. The �0 1 classes form a lattice. As with the lattice of computably enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality, or more precisely, hyperhypersimplicity, namely the notion of a thin class. We prove a number of results relating automorphisms, invariance and thin classes. Our main results are an analog of the Martin’s work on hyperhypersimple sets and high degrees, using thin classes and anc degrees, and an analog of Soare’s work demonstrating that maximal sets form an orbit. In particular, we show that the the collection of perfect thin classes (a notion which is definable in the lattice of �0 1 classes) form an orbit in the lattice of �0 1 classes; and a degree is anc iff it contains a perfect thin class. Hence the class of anc degrees is an invariant class for the lattice of �0 1 classes. We remark that the automorphism result is proven via a �0 3 automorphism, and demonstrate that this complexity is necessary. 1.