The paper characterizes the provable Pi^1_e, Sigma^1_e, and Boolean-combination classes of the strong dependent choice system Sigma^1_i-SDC0 using beta-model reflection principles.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On some subtheories of strong dependent choice
The paper characterizes the provable Pi^1_e, Sigma^1_e, and Boolean-combination classes of the strong dependent choice system Sigma^1_i-SDC0 using beta-model reflection principles.