The Determined Property of Baire in Reverse Math

Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon, Linda Brown Westrick

Research output: Contribution to journalArticlepeer-review

Abstract

We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle CD-PB, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than. Any ω-model of must be closed under hyperarithmetic reduction, but is not a theory of hyperarithmetic analysis. We show that whenever is the second-order part of an ω-model of CD-PB, then for every Z M, there is a G M such that G is Δ-generic relative to Z.

Original languageEnglish (US)
Pages (from-to)166-198
Number of pages33
JournalJournal of Symbolic Logic
Volume85
Issue number1
DOIs
StatePublished - Mar 1 2020

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'The Determined Property of Baire in Reverse Math'. Together they form a unique fingerprint.

Cite this