Automorphisms of the truth-table degrees are fixed on some cone

Details Automorphisms of the truth-table degrees are fixed on some cone Automorphisms of the truth-table degrees are fixed on some cone

2008-04-30

arxiv.org/abs/0805.0005v2

Journal of Symbolic Logic, Volume 74, Number 2, June 2009, pp. 679-688

Mathematics

Logic

Final version of paper, minor changes made. 11 pages

Scientific paper

Let Dtt denote the set of truth-table degrees. A bijection p from Dtt to Dtt is an automorphism if for all truth-table degrees x and y we have x <=tt y if and only if p(x) <=tt p(y). We say an automorphism p is fixed on some cone if there is a degree b such that for all x >=tt b we have p(x) = x. We first prove that for every 2-generic real X we have X' is not tt below X + 0'. We next prove that for every real X >=tt 0' there is a real Y such that Y + 0' =tt Y' =tt X. Finally, we use this to demonstrate that every automorphism of the truth-table degrees is fixed on some cone.

Affiliated with

Also associated with

No associations

Rating

Automorphisms of the truth-table degrees are fixed on some cone does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automorphisms of the truth-table degrees are fixed on some cone, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automorphisms of the truth-table degrees are fixed on some cone will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-40687