Alam, Abolfazl, and Morteza Moniri. 2022. “Models of Bounded Arithmetic Theories and Some Related Complexity Questions”. Bulletin of the Section of Logic 51 (2):163-76. https://doi.org/10.18778/0138-0680.2022.03.