1 paper
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…