Descriptive Complexity in Cantor Series

Journal of Symbolic Logic 87 (3):1023-1045 (2022)
  Copy   BIBTEX


A Cantor series expansion for a real number x with respect to a basic sequence $Q=(q_1,q_2,\dots )$, where $q_i \geq 2$, is a generalization of the base b expansion to an infinite sequence of bases. Ki and Linton in 1994 showed that for ordinary base b expansions the set of normal numbers is a $\boldsymbol {\Pi }^0_3$ -complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: normality, ratio normality, and distribution normality. These notions are equivalent for base b expansions, but not for more general Cantor series expansions. We show that for any basic sequence the set of distribution normal numbers is $\boldsymbol {\Pi }^0_3$ -complete, and if Q is $1$ -divergent then the sets of normal and ratio normal numbers are $\boldsymbol {\Pi }^0_3$ -complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbol {\Pi }^0_3)$ -complete if $\lim _i q_i=\infty $ and Q is $1$ -divergent. This shows that except for the trivial containment that every normal number is ratio normal, these three notions are as independent as possible.



    Upload a copy of this work     Papers currently archived: 91,088

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Normal Numbers and Limit Computable Cantor Series.Achilles Beros & Konstantinos Beros - 2017 - Notre Dame Journal of Formal Logic 58 (2):215-220.
Whittle’s assault on Cantor’s paradise.Vann McGee - 2015 - Oxford Studies in Metaphysics 9.
Rank, join, and Cantor singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.
Logics which capture complexity classes over the reals.Felipe Cucker & Klaus Meer - 1999 - Journal of Symbolic Logic 64 (1):363-390.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
The influence of Spinoza’s concept of infinity on Cantor’s set theory.Paolo Bussotti & Christian Tapp - 2009 - Studies in History and Philosophy of Science Part A 40 (1):25-35.
Strict process machine complexity.Ferit Toska - 2014 - Archive for Mathematical Logic 53 (5-6):525-538.
Generalisation of disjunctive sequences.Cristian S. Calude - 2005 - Mathematical Logic Quarterly 51 (2):120.
Cantor, God, and Inconsistent Multiplicities.Aaron R. Thomas-Bolduc - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):133-146.
Cantorian Infinity and Philosophical Concepts of God.Joanna Van der Veen & Leon Horsten - 2013 - European Journal for Philosophy of Religion 5 (3):117--138.


Added to PP

22 (#626,746)

6 months
9 (#169,226)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references