Normal numbers and limit computable Cantor series

DOI10.1215/00294527-2017-0004MaRDI QIDQ2364649zbMATH OpenOpenAlexFDO

Authors Achilles A. Beros, Konstantinos A. Beros

Publication date 21 July 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.2178

zbMATH Keywords

basic seriesCantor series expansionscomputability theorynormal numbersnumber theoryrecursion theoryTuring degrees

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Applications of computability and recursion theory (03D80)

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.

Recommendations

• Normal numbers and Cantor expansions
• Cantor series constructions of sets of normal numbers
• Computable absolutely normal numbers and discrepancies
• Typicality of normal numbers with respect to the Cantor series expansion
• Normal numbers and the Borel hierarchy
• Computable absolutely Pisot normal numbers
• Normal number constructions for Cantor series with slowly growing bases.
• Normality of different orders for Cantor series expansions
• Cantor series constructions contrasting two notions of normality
• Normal numbers and finite automata

Cited in

(5)

• Unexpected distribution phenomenon resulting from Cantor series expansions
• Cantor series constructions of sets of normal numbers
• Normality of different orders for Cantor series expansions
• Some complexity results in the theory of normal numbers
• Normal numbers and the Borel hierarchy

This page was built for publication: Normal numbers and limit computable Cantor series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364649)