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: Completely determined Borel sets and measurability

Abstract: We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case. $\mathsf{C\text-DM}$ lies strictly between $\mathsf{ATR}_0$ and $\mathsf{L}_{\omega_1,\omega}\text-\mathsf{CA}$. Whenever $M\subseteq 2^\omega$ is the second-order part of an $\omega$-model of $\mathsf{C\text-DM}$, then for every $Z \in M$, there is a $R \in M$ such that $R$ is $\Delta^1_1$-random relative to $Z$. On the other hand, without $\mathsf{WWKL}_0$, all sets have measure zero (as measured according to $\mathsf{C\text-DM}$), and it follows vacuously that $\neg \mathsf{WWKL}_0$ implies $\mathsf{C\text-DM}$ over $\mathsf{RCA}_0$.
Comments: 19 pages, minor revisions
Subjects: Logic (math.LO)
MSC classes: 03B30, 03D32,
Cite as: arXiv:2001.01881 [math.LO]
  (or arXiv:2001.01881v2 [math.LO] for this version)

Submission history

From: Linda Brown Westrick [view email]
[v1] Tue, 7 Jan 2020 04:24:16 GMT (21kb)
[v2] Tue, 18 May 2021 20:37:55 GMT (22kb)

Link back to: arXiv, form interface, contact.