On a strengthening of Kotlarski's theorem
Logic
2016-12-22 v1
Abstract
Kotlarski's theorem (see H. Kotlarski. Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, vol. 32, 31-34, 1986, P. 531--544.) formalized in .
Keywords
Cite
@article{arxiv.1612.06966,
title = {On a strengthening of Kotlarski's theorem},
author = {Evgeny Dashkov},
journal= {arXiv preprint arXiv:1612.06966},
year = {2016}
}
Comments
In Russian. The English version will follow soon