3 problems

0 votes0 replies0 views
Shokurov's log termination conjecture
Log termination conjecture. Every sequence of $K_X+B$ -flips terminates.
Conjectureopenflips log-minimal-model-program terminationarXiv posted 2 days ago
0 votes0 replies1 view
Closure of the bar recursive program on fragments of System T
The paper considers a bar recursive program associated with a binary relation and its derivational complexity, with the relevant functionals and moduli defined in fragments of Syst…
Conjectureopenproof-theory system-t terminationarXiv posted 2 days ago
0 votes0 replies0 views
The conjecture on the strength of SCT soundness
SCT soundness conjecture. SCT soundness should be provable in $\mathsf{RCA_0}$ augmented by well-foundedness of $\omega^{\omega^\omega}$ .
Conjectureopenordinal-analysis reverse-mathematics terminationarXiv posted 2 days ago

Shokurov's log termination conjecture