LIPIcs.CSL.2021.4.pdf
- Filesize: 291 kB
- 2 pages
Document
Borel Sets in Reverse Mathematics (Invited Talk)
Author
Linda Westrick 
-
Part of:
Volume:
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2021-01-13
File
Document Identifiers
Author Details
Acknowledgements
This talk includes joint work with many co-authors: Eric Astor, Damir Dzhafarov, Stephen Flood, Antonio Montalbán, Reed Solomon, Henry Towsner and Rose Weisshaar.
Cite AsGet BibTex
Linda Westrick. Borel Sets in Reverse Mathematics (Invited Talk). In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 183, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.CSL.2021.4
https://doi.org/10.4230/LIPIcs.CSL.2021.4
Abstract
We present what is known about the reverse mathematical strength of weak theorems involving Borel sets.
Subject Classification
ACM Subject Classification
- Theory of computation → Constructive mathematics
Keywords
- Borel sets
- reverse mathematics
- measure
- category
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon, and Linda Brown Westrick. The determined property of Baire in reverse math. J. Symb. Log., 85(1):166-198, 2020. URL: https://doi.org/10.1017/jsl.2019.64.
- Damir Dzhafarov, Stephen Flood, Reed Solomon, and Linda Brown Westrick. Effectiveness for the Dual Ramsey Theorem. CoRR, Submitted 2017. URL: http://arxiv.org/abs/1710.00070.
- Stephen G. Simpson. Subsystems of second order arithmetic. Perspectives in Logic. Cambridge University Press, Cambridge; Association for Symbolic Logic, Poughkeepsie, NY, second edition, 2009. URL: https://doi.org/10.1017/CBO9780511581007.
-
Henry Towsner, Rose Weisshaar, and Linda Westrick. Borel combinatorics fail in HYP. CoRR, In preparation.
- Linda Westrick. Completely determined Borel sets and measurability. CoRR, Submitted 2020. URL: http://arxiv.org/abs/2001.01881.