We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Normal numbers and limit computable Cantor series

Abstract: Given any oracle, A, we construct a basic sequence Q, computable in the jump of A, such that no A-computable real is Q-distribution-normal. A corollary to this is that there is a Delta^0_{n+1} basic sequence with respect to which no Delta^0_n real is distribution-normal. As a special case, there is a limit computable sequence relative to which no computable real is distribution-normal.
Comments: 5 pages
Subjects: Logic (math.LO)
MSC classes: 03D28, 03D80
Journal reference: Notre Dame J. Formal Logic 58, no. 2 (2017), 215-220
DOI: 10.1215/00294527-2017-0004
Cite as: arXiv:1404.2178 [math.LO]
  (or arXiv:1404.2178v1 [math.LO] for this version)

Submission history

From: Achilles Beros [view email]
[v1] Tue, 8 Apr 2014 15:11:37 GMT (6kb)

Link back to: arXiv, form interface, contact.