GENERICITY AND RANDOMNESS WITH ITTMS.
We study genericity and randomness with respect to ITTMs, continuing the work initiated by Carl and Schlicht. To do so, we develop a framework to study randomness in the constructible hierarchy. We then answer several of Carl and Schlicht's question. We also ask a new question one the equality of tw...
| Publicado en: | Journal of Symbolic Logic Vol. 84; no. 4; pp. 1670 - 1711 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Dec2019
|
| 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=140922289&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 140922289 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Dec2019 vid: 84 iid: 4 pid: 15979 pub: Cambridge University Press artinfo: ui: 140922289 10.1017/jsl.2019.62 ppf: 1670 ppct: 41 formats: tig: atl: GENERICITY AND RANDOMNESS WITH ITTMS. aug: au: MONIN, BENOÎT D'AURIAC, PAUL-ELLIOT ANGLÈS affil: LACL, DÉPARTEMENT D'INFORMATIQUE FACULTÉ DES SCIENCES ET TECHNOLOGIE 61 AVENUE DU GÉNÉRAL DE GAULLE 94010 CRÉTEIL CEDEX E-mail su: Algorithmic randomness Intuition sug: subj: Algorithmic randomness Intuition keyword: 03D60 algorithmic randomness constructibles forcing higher computability ITTM ab: We study genericity and randomness with respect to ITTMs, continuing the work initiated by Carl and Schlicht. To do so, we develop a framework to study randomness in the constructible hierarchy. We then answer several of Carl and Schlicht's question. We also ask a new question one the equality of two classes of randoms. Although the natural intuition would dictate that the two classes are distinct, we show that things are not as simple as they seem. In particular we show that the categorical analogues of these two classes coincide, in contradiction with the natural intuition. Even though we are not able to answer the question for randomness in this article, we delineate and sharpen its contour and outline. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|