Borel Sets in Reverse Mathematics (Invited Talk)

Author Linda Westrick



PDF
Thumbnail PDF

File

LIPIcs.CSL.2021.4.pdf
  • Filesize: 291 kB
  • 2 pages

Document Identifiers

Author Details

Linda Westrick
  • The Pennsylvania State University, University Park, PA, USA

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 As Get 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

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)
    0
    PDF Downloads

References

  1. 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.
  2. 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.
  3. 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.
  4. Henry Towsner, Rose Weisshaar, and Linda Westrick. Borel combinatorics fail in HYP. CoRR, In preparation. Google Scholar
  5. Linda Westrick. Completely determined Borel sets and measurability. CoRR, Submitted 2020. URL: http://arxiv.org/abs/2001.01881.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail