Document Open Access Logo

Borel Sets in Reverse Mathematics (Invited Talk)

Author Linda Westrick

Thumbnail PDF


  • Filesize: 291 kB
  • 2 pages

Document Identifiers

Author Details

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


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)


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
  • Borel sets
  • reverse mathematics
  • measure
  • category


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  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:
  2. Damir Dzhafarov, Stephen Flood, Reed Solomon, and Linda Brown Westrick. Effectiveness for the Dual Ramsey Theorem. CoRR, Submitted 2017. URL:
  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:
  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:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail