1 problem

0 votes0 replies1 view
Kahle's conjecture on the proof-theoretic strength of supervaluational Frege structure with universes
The supervaluational Frege-structure theory $\mathsf{VF}$ extends Peano arithmetic with a supervaluation truth predicate, and a theory obtained by adding universes is understood an…
Conjectureopeninductive-definitions proof-theory truth-theoriesarXiv posted 2 days ago

Kahle's conjecture on the proof-theoretic strength of supervaluational Frege structure with universes