On a strengthening of Kotlarski's theorem
Kotlarski's theorem (see H. Kotlarski. Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, vol. 32, 31-34, 1986, P. 531--544.) formalized in $WKL_0$.
math.LO↗
arXiv subjects
Evgeny Dashkov
Publications and source records attributed to Evgeny Dashkov.