Normal numbers and completeness results for difference sets

Journal of Symbolic Logic 82 (1):247-257 (2017)
  Copy   BIBTEX

Abstract

We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$and${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively,ω-differences) of${\bf{\Pi }}_3^0 $sets.

Links

PhilArchive



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

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.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Local vs. global hyperconvexity, tautness or k-completeness for unbounded open sets in Cn.Nikolai Nikolov & Peter Pflug - 2005 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 4 (4):601-618.
What's the difference?James H. Schmerl - 1998 - Annals of Pure and Applied Logic 93 (1-3):255-261.
Impure Sets Are Not Located: A Fregean Argument.Roy T. Cook - 2012 - Thought: A Journal of Philosophy 1 (3):219-229.
On Some Complexity Characteristics of Immune Sets.Valeriy K. Bulitko - 1995 - Mathematical Logic Quarterly 41 (3):307-313.
Difference Sets and Recursion Theory.James H. Schmerl - 1998 - Mathematical Logic Quarterly 44 (4):515-521.
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2000 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 139--149.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.

Analytics

Added to PP
2017-03-26

Downloads
13 (#1,034,116)

6 months
4 (#783,478)

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