From index sets to randomness in Ø n: Random reals and possibly infinite computations part II
We obtain a large class of significant examples of n-random reals (i.e.. Martin-Löf random in oracle Ø (n-1) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. fini...
| Autor principal: | |
|---|---|
| Publicado: |
2009
|
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v74_n1_p124_Becher http://hdl.handle.net/20.500.12110/paper_00224812_v74_n1_p124_Becher |
| Aporte de: |
| id |
paper:paper_00224812_v74_n1_p124_Becher |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_00224812_v74_n1_p124_Becher2023-06-08T14:51:09Z From index sets to randomness in Ø n: Random reals and possibly infinite computations part II Becher, Verónica Andrea We obtain a large class of significant examples of n-random reals (i.e.. Martin-Löf random in oracle Ø (n-1) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. finite self-delimited) inputs produces an output in a given set @ ⊆ B (N). In particular, we develop methods to transfer ∑ n 0 or Π n 0 many-one completeness results of index sets to n-randomness of associated probabilities. © 2009, Association for Symbolic Logic. Fil:Becher, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v74_n1_p124_Becher http://hdl.handle.net/20.500.12110/paper_00224812_v74_n1_p124_Becher |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| description |
We obtain a large class of significant examples of n-random reals (i.e.. Martin-Löf random in oracle Ø (n-1) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. finite self-delimited) inputs produces an output in a given set @ ⊆ B (N). In particular, we develop methods to transfer ∑ n 0 or Π n 0 many-one completeness results of index sets to n-randomness of associated probabilities. © 2009, Association for Symbolic Logic. |
| author |
Becher, Verónica Andrea |
| spellingShingle |
Becher, Verónica Andrea From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| author_facet |
Becher, Verónica Andrea |
| author_sort |
Becher, Verónica Andrea |
| title |
From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| title_short |
From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| title_full |
From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| title_fullStr |
From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| title_full_unstemmed |
From index sets to randomness in Ø n: Random reals and possibly infinite computations part II |
| title_sort |
from index sets to randomness in ø n: random reals and possibly infinite computations part ii |
| publishDate |
2009 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v74_n1_p124_Becher http://hdl.handle.net/20.500.12110/paper_00224812_v74_n1_p124_Becher |
| work_keys_str_mv |
AT becherveronicaandrea fromindexsetstorandomnessinønrandomrealsandpossiblyinfinitecomputationspartii |
| _version_ |
1768546479083880448 |