Higher Order Reverse Math Seminar

Date and Time: Wednesdays 4:30 - 6:00 pm
Location: 732 Evans

List of papers

Reverse math

• 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

Third order reverse math

• Transfinite recursion in higher reverse mathematics by Schweber

• Determinacy in Third Order Arithmetic by Hachtman

Higher order reverse math

• Higher Order Reverse Mathematics by Kohlenbach

Reverse math and ultrafilters

• 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

Reverse math and topology

• 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

Other higher order reverse math

• 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)

Sanders (and Normann)

• On two recent extensions of the Big Five of Reverse Mathematics

• Reverse Mathematics of Topology: dimension, paracompactness and splitting

• Coding is hard

Other approaches

• Set-theoretic aspects of ATR0 by Simpson

• How a little bit goes a long way: Predicative foundations of analysis by Feferman