Turing independence and Baire category

&
Journal of Mathematical Logic (forthcoming)
  Copy   BIBTEX

Abstract

We show that it is relatively consistent with ZFC that there is a non-meager set of reals [Formula: see text] such that for every non-meager [Formula: see text], there exist distinct [Formula: see text] such that [Formula: see text] is computable from the Turing join of [Formula: see text] and [Formula: see text].

Categories

Keywords

Reprint years

DOI

10.1142/s0219061324500089

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Turing cones and set theory of the reals.Benedikt Löwe - 2001 - Archive for Mathematical Logic 40 (8):651-664.
Baire category and nowhere differentiability for feasible functions.J. M. Breutzmann, J. H. Lutz & D. W. Juedes - 2004 - Mathematical Logic Quarterly 50 (4):460.
Baire category and nowhere differentiability for feasible real functions.Josef M. Breutzmann, David W. Juedes & Jack H. Lutz - 2004 - Mathematical Logic Quarterly 50 (4-5):460-472.
An analogue of the Baire category theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
On the Uniform Computational Content of the Baire Category Theorem.Vasco Brattka, Matthew Hendtlass & Alexander P. Kreuzer - 2018 - Notre Dame Journal of Formal Logic 59 (4):605-636.
Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
The Cichoń diagram.Tomek Bartoszyński, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (2):401 - 423.
Decomposing baire functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Recursive baire classification and speedable functions.Cristian Calude, Gabriel Istrate & Marius Zimand - 1992 - Mathematical Logic Quarterly 38 (1):169-178.
The baire category theorem and cardinals of countable cofinality.Arnold W. Miller - 1982 - Journal of Symbolic Logic 47 (2):275-288.
Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.

Analytics

Added to PP
2023-10-15

Downloads
14 (#990,773)

6 months
9 (#308,564)

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