Determinacy and reflection principles in second-order arithmetic
From MaRDI portal
Publication:6410163
arXiv2209.04082MaRDI QIDQ6410163
Keita Yokoyama, Unnamed Author
Publication date: 8 September 2022
Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
This page was built for publication: Determinacy and reflection principles in second-order arithmetic