Prefer a chat interface with context about you and your work?
Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics†
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to …