Non-tightness in class theory and second-order arithmetic

arXiv2212.04445MaRDI QIDQ6420002FDOQ6420002

Alfredo Roque Freire, Kameryn J. Williams

Publication date: 8 December 2022

Abstract: A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this article we extend Enayat's investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of Z2 and KM gives non-tight theories. Specifically, we show that GB and ACA0 each admit different bi-interpretable extensions, and the same holds for their extensions by adding Sigma^1_k-Comprehension, for k <= 1. These results provide evidence that tightness characterizes Z2 and KM in a minimal way.

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

This page was built for publication: Non-tightness in class theory and second-order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6420002)