March 2010 Schnorr triviality and genericity
Johanna N.Y. Franklin
J. Symbolic Logic 75(1): 191-207 (March 2010). DOI: 10.2178/jsl/1264433915

Abstract

We study the connection between Schnorr triviality and genericity. We show that while no 2-generic is Turing equivalent to a Schnorr trivial and no 1-generic is tt-equivalent to a Schnorr trivial, there is a 1-generic that is Turing equivalent to a Schnorr trivial. However, every such 1-generic must be high. As a corollary, we prove that not all K-trivials are Schnorr trivial. We also use these techniques to extend a previous result and show that the bases of cones of Schnorr trivial Turing degrees are precisely those whose jumps are at least 0''.

Citation

Download Citation

Johanna N.Y. Franklin. "Schnorr triviality and genericity." J. Symbolic Logic 75 (1) 191 - 207, March 2010. https://doi.org/10.2178/jsl/1264433915

Information

Published: March 2010
First available in Project Euclid: 25 January 2010

zbMATH: 1184.03040
MathSciNet: MR2605888
Digital Object Identifier: 10.2178/jsl/1264433915

Rights: Copyright © 2010 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.75 • No. 1 • March 2010
Back to Top