Random reals and possibly infinite computations part I: Randomness in ø′

Using possibly infinite computations on universal monotone Turing machines, we prove Martin-Löf randomness in ø′ of the probability that the output be in some set script O sign ⊆ 2≤ω under complexity assumptions about script O sign. © 2005, Association for Symbolic Logic.

Guardado en:
Detalles Bibliográficos
Autor principal: Becher, Verónica Andrea
Publicado: 2005
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v70_n3_p891_Becher
http://hdl.handle.net/20.500.12110/paper_00224812_v70_n3_p891_Becher
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_00224812_v70_n3_p891_Becher
record_format dspace
spelling paper:paper_00224812_v70_n3_p891_Becher2023-06-08T14:51:08Z Random reals and possibly infinite computations part I: Randomness in ø′ Becher, Verónica Andrea Using possibly infinite computations on universal monotone Turing machines, we prove Martin-Löf randomness in ø′ of the probability that the output be in some set script O sign ⊆ 2≤ω under complexity assumptions about script O sign. © 2005, Association for Symbolic Logic. Fil:Becher, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2005 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v70_n3_p891_Becher http://hdl.handle.net/20.500.12110/paper_00224812_v70_n3_p891_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 Using possibly infinite computations on universal monotone Turing machines, we prove Martin-Löf randomness in ø′ of the probability that the output be in some set script O sign ⊆ 2≤ω under complexity assumptions about script O sign. © 2005, Association for Symbolic Logic.
author Becher, Verónica Andrea
spellingShingle Becher, Verónica Andrea
Random reals and possibly infinite computations part I: Randomness in ø′
author_facet Becher, Verónica Andrea
author_sort Becher, Verónica Andrea
title Random reals and possibly infinite computations part I: Randomness in ø′
title_short Random reals and possibly infinite computations part I: Randomness in ø′
title_full Random reals and possibly infinite computations part I: Randomness in ø′
title_fullStr Random reals and possibly infinite computations part I: Randomness in ø′
title_full_unstemmed Random reals and possibly infinite computations part I: Randomness in ø′
title_sort random reals and possibly infinite computations part i: randomness in ø′
publishDate 2005
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v70_n3_p891_Becher
http://hdl.handle.net/20.500.12110/paper_00224812_v70_n3_p891_Becher
work_keys_str_mv AT becherveronicaandrea randomrealsandpossiblyinfinitecomputationspartirandomnessinø
_version_ 1768542254940553216

Ejemplares similares