DENSITY-1-BOUNDING AND QUASIMINIMALITY IN THE GENERIC DEGREES.
We consider the question “Is every nonzero generic degree a density-1-bounding generic degree?” By previous results [8] either resolution of this question would answer an open question concerning the structure of the generic degrees: A positive result would prove that there are no minimal generic de...
| Publicado en: | Journal of Symbolic Logic Vol. 82; no. 3; pp. 931 - 958 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Sep2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=125072215&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 125072215 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Sep2017 vid: 82 iid: 3 pid: 15979 pub: Cambridge University Press artinfo: ui: 125072215 10.1017/jsl.2016.50 ppf: 931 ppct: 27 formats: tig: atl: DENSITY-1-BOUNDING AND QUASIMINIMALITY IN THE GENERIC DEGREES. aug: au: CHOLAK, PETER IGUSA, GREGORY affil: DEPARTMENT OF MATHEMATICS UNIVERSITY OF NOTRE DAME NOTRE DAME, IN 46556-5683, USA su: Set theory Density functionals Quasigroups Computable functions Mathematical bounds Uniqueness (Mathematics) sug: subj: Set theory Density functionals Quasigroups Computable functions Mathematical bounds Uniqueness (Mathematics) keyword: 25 28 32 coarse computability coarse reducibility density 1 bounding generic computability generic reducibility Primary 03D30 quasiminimal ab: We consider the question “Is every nonzero generic degree a density-1-bounding generic degree?” By previous results [8] either resolution of this question would answer an open question concerning the structure of the generic degrees: A positive result would prove that there are no minimal generic degrees, and a negative result would prove that there exist minimal pairs in the generic degrees.We consider several techniques for showing that the answer might be positive, and use those techniques to prove that a wide class of assumptions is sufficient to prove density-1-bounding.We also consider a historic difficulty in constructing a potential counterexample: By previous results [7] any generic degree that is not density-1-bounding must be quasiminimal, so in particular, any construction of a non-density-1-bounding generic degree must use a method that is able to construct a quasiminimal generic degree. However, all previously known examples of quasiminimal sets are also density-1, and so trivially density-1-bounding. We provide several examples of non-density-1 sets that are quasiminimal.Using cofinite and mod-finite reducibility, we extend our results to the uniform coarse degrees, and to the nonuniform generic degrees. We define all of the above terms, and we provide independent motivation for the study of each of them.Combined with a concurrently written paper of Hirschfeldt, Jockusch, Kuyper, and Schupp [4], this paper provides a characterization of the level of randomness required to ensure quasiminimality in the uniform and nonuniform coarse and generic degrees. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|