Arithmetic complexity via effective names for random sequences

10.1145/2287718.2287724

Saved in:

Bibliographic Details
Main Authors:	Kjos-Hanssen, B., Stephan, F., Teutsch, J.
Other Authors:	MATHEMATICS
Format:	Article
Published:	2014
Subjects:	Arithmetical hierarchy Computable randomness Schnorr randomness
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/102881
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-102881
record_format	dspace
spelling	sg-nus-scholar.10635-1028812023-10-29T22:06:42Z Arithmetic complexity via effective names for random sequences Kjos-Hanssen, B. Stephan, F. Teutsch, J. MATHEMATICS Arithmetical hierarchy Computable randomness Schnorr randomness 10.1145/2287718.2287724 ACM Transactions on Computational Logic 13 3 - 2014-10-28T02:30:47Z 2014-10-28T02:30:47Z 2012-08 Article Kjos-Hanssen, B., Stephan, F., Teutsch, J. (2012-08). Arithmetic complexity via effective names for random sequences. ACM Transactions on Computational Logic 13 (3) : -. ScholarBank@NUS Repository. https://doi.org/10.1145/2287718.2287724 15293785 http://scholarbank.nus.edu.sg/handle/10635/102881 000308370100006 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Arithmetical hierarchy Computable randomness Schnorr randomness
spellingShingle	Arithmetical hierarchy Computable randomness Schnorr randomness Kjos-Hanssen, B. Stephan, F. Teutsch, J. Arithmetic complexity via effective names for random sequences
description	10.1145/2287718.2287724
author2	MATHEMATICS
author_facet	MATHEMATICS Kjos-Hanssen, B. Stephan, F. Teutsch, J.
format	Article
author	Kjos-Hanssen, B. Stephan, F. Teutsch, J.
author_sort	Kjos-Hanssen, B.
title	Arithmetic complexity via effective names for random sequences
title_short	Arithmetic complexity via effective names for random sequences
title_full	Arithmetic complexity via effective names for random sequences
title_fullStr	Arithmetic complexity via effective names for random sequences
title_full_unstemmed	Arithmetic complexity via effective names for random sequences
title_sort	arithmetic complexity via effective names for random sequences
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/102881
_version_	1781787650299002880

Arithmetic complexity via effective names for random sequences

Similar Items