The Determined Property Of Baire In Reverse Math
Work
Year: 2019
Type: article
Abstract: We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle i... more
Source: Journal of Symbolic Logic
Institutions University of Connecticut, University of California, Berkeley, Pennsylvania State University, Google (United States)
Cites: 20
Cited by: 3
Related to: 10
FWCI: 0.494
Citation percentile (by year/subfield): 61
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze