LINKS

https://math.stackexchange.com/questions/3128061/is-definable-power-sufficient-to-interpret-zfc

https://math.stackexchange.com/questions/3129384/is-ackermann-set-theory-equi-interpretable-with-mereological-logicism

https://math.stackexchange.com/questions/3123509/is-zfc-a-maximal-perifinite-theory

https://math.stackexchange.com/questions/4014817/are-those-two-theories-about-universes-equivalent