Schnorr triviality and genericity

Journal of Symbolic Logic 75 (1):191-207 (2010)
  Copy   BIBTEX

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"

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hyperimmune-free degrees and Schnorr triviality.Johanna N. Y. Franklin - 2008 - Journal of Symbolic Logic 73 (3):999-1008.
Schnorr Randomness.Rodney G. Downey & Evan J. Griffiths - 2004 - Journal of Symbolic Logic 69 (2):533 - 554.
Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
On Notions of Genericity and Mutual Genericity.J. K. Truss - 2007 - Journal of Symbolic Logic 72 (3):755 - 766.
Triviality arguments against functionalism.Peter Godfrey-Smith - 2009 - Philosophical Studies 145 (2):273 - 295.
Subsimple Groups.Frank Wagner - 2005 - Journal of Symbolic Logic 70 (4):1365 - 1370.
The Probabilities of Conditionals Revisited.Igor Douven & Sara Verbrugge - 2013 - Cognitive Science 37 (4):711-730.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Semantic closure, descriptions and non-triviality.Graham Priest - 1999 - Journal of Philosophical Logic 28 (6):549--558.
The genericity conjecture.Sy D. Friedman - 1994 - Journal of Symbolic Logic 59 (2):606-614.
Outer models and genericity.M. C. Stanley - 2003 - Journal of Symbolic Logic 68 (2):389-418.
CM-Triviality and stable groups.Frank O. Wagner - 1998 - Journal of Symbolic Logic 63 (4):1473-1495.

Analytics

Added to PP
2010-09-12

Downloads
268 (#75,183)

6 months
8 (#352,539)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
On effectively closed sets of effective strong measure zero.Kojiro Higuchi & Takayuki Kihara - 2014 - Annals of Pure and Applied Logic 165 (9):1445-1469.

Add more citations

References found in this work

Calibrating randomness.Rod Downey, Denis R. Hirschfeldt, André Nies & Sebastiaan A. Terwijn - 2006 - Bulletin of Symbolic Logic 12 (3):411-491.
Schnorr trivial reals: a construction. [REVIEW]Johanna N. Y. Franklin - 2008 - Archive for Mathematical Logic 46 (7-8):665-678.

Add more references