On Weak Set Theories Interpreted in PA

Junhong Chen

We classify a broad family of weak first-order set theories, under ordinary parameter-free interpretability, by the first-order arithmetical theories with which they are mutually i…