Date and Time: Wednesdays 4:30 - 6:00 pm
Location: 732 Evans
Subsystems of Second Order Arithmetic by Simpson (see here for the first chapter)
Slicing the Truth by Hirschfeldt
Reverse Mathematics: Problems, Reductions and Proofs by Dzhafarov and Mummert
Transfinite recursion in higher reverse mathematics by Schweber
Determinacy in Third Order Arithmetic by Hachtman
Higher Order Reverse Mathematics by Kohlenbach
Hindman's Theorem, Ultrafilters, and Reverse Mathematics by Hirst
Ultrafilters in Reverse Mathematics by Towsner
Non-principal ultrafilters, program extraction and higher-order reverse mathematics by Kreuzer
On idempotent ultrafilters in higher-order reverse mathematics by Kreuzer
Minimal idempotent ultrafilters and the Auslander-Ellis theorem by Kreuzer
Higher-order reverse topology by Hunter
A logical analysis of the generalized Banach contractions principle by Kreuzer
Reverse Mathematics of MF Spaces by Mummert and Simpson
Notions of compactness in weak subsystems of second order arithmetic by Brown
Reverse mathematics of regular countable second countable spaces by Genovesi
Open questions in reverse mathematics by Montalban
Hybrid Maximal Filter Spaces by Gonzalez
Noetherian Quasi-Polish Spaces by de Brecht and Pauly
Measure Theory and Higher Order Arithmetic by Kreuzer
Uniform versions of some axioms of second order arithmetic by Sakamoto and Yamazaki
Banach's theorem in higher-order reverse mathematics by Hirst and Mummert (note that this is not about the contraction mapping theorem)
On two recent extensions of the Big Five of Reverse Mathematics
Reverse Mathematics of Topology: dimension, paracompactness and splitting
Set-theoretic aspects of ATR0 by Simpson
How a little bit goes a long way: Predicative foundations of analysis by Feferman