关于科特拉尔斯基定理的一个加强
逻辑
2016-12-22 v1
摘要
科特拉尔斯基定理（见 H. Kotlarski. Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, vol. 32, 31-34, 1986, P. 531--544.）在 中形式化。
引用
@article{arxiv.1612.06966,
title = {On a strengthening of Kotlarski's theorem},
author = {Evgeny Dashkov},
journal= {arXiv preprint arXiv:1612.06966},
year = {2016}
}
备注
In Russian. The English version will follow soon