On collection schemes and Gaifman's splitting theorem
Abstrak
We study model theoretic characterizations of various collection schemes over $\mathbf{PA}^-$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any $n \geq 0$ and $M \models \mathbf{PA}^-$, the following are equivalent: 1. $M$ satisfies the collection scheme for $Σ_{n+1}$ formulas. 2. For any $K, N \models \mathbf{PA}^-$, if $M \subseteq_{\mathrm{cof}} K$, $M \prec_{Δ_0} K$ and $M \prec N$, then $M \prec_{Σ_{n+2}} K$ and $\sup_N(M) \prec_{Σ_n} N$. 3. For any $N \models \mathbf{PA}^-$, if $M \prec N$, then $M \prec_{Σ_{n+2}} \sup_N(M) \prec_{Σ_{n}} N$. Here, $\sup_N(M)$ is the unique $K$ satisfying $M \subseteq_{\mathrm{cof}} K \subseteq_{\mathrm{end}} N$. We also investigate strong collection schemes and parameter-free collection schemes from the similar perspective.
Topik & Kata Kunci
Penulis (2)
Taishi Kurahashi
Yoshiaki Minami
Akses Cepat
- Tahun Terbit
- 2024
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓