Autor:	Aguilera, Juan P., Suzuki, Yudai, Yokoyama, Keita
Rok vydání:	2024
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	In this paper, we give characterizations of the set of $\Pi^1_{e}$-consequences, $\Sigma^1_{e}$-consequences and $\mathsf{B}(\Pi^1_{e})$-consequences of the axiomatic system of the strong dependent choice for $\Sigma^1_i$ formulas $\Sigma^1_i$-$\mathsf{SDC}_0$ for $i > 0$ and $e < i+2$. Here, $\mathsf{B}(\Gamma)$ denotes the set generated by $\land,\lor,\lnot$ starting from $\Gamma$.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2411.17415 Zobrazit plný text záznamu View this record from Arxiv