Models of Bounded Arithmetic Theories and Some Related Complexity Questions

作者

有界算术、复杂性理论、存在闭模型、模型完备性、模型伴随、量词消去、Stone拓扑

在本文中，我们研究了一些模型理论概念和结果的有界版本。我们将这些结果应用于有界算术理论模型的背景以及一些相关的复杂性问题。作为一个例子，我们证明了如果理论（rm S_2^1（PV））有有界模型伴侣，那么（rm NP=coNP）。我们还研究了其他一些相关概念（如Stone拓扑）的有界版本。

S.R.Buss，《有界算术》，那不勒斯图书馆（1986年）。
谷歌学者

C.Chang，J.Keisler（编辑），模型理论，北荷兰，阿姆斯特丹（1990）。
谷歌学者

S.Cook，A.Urquhart，《可行性构造算术的函数解释》，STOC’89，[in:]《第二十届第一次会议论文集》
谷歌学者

美国计算机协会计算机理论年度ACM研讨会，美国纽约州纽约市（1989年），第107–112页，DOI：https://doi.org/10.1145/73007.73017.
谷歌学者内政部：https://doi.org/10.1145/73007.73017

S.A.Cook，《可行性构造性证明与命题演算》（初版），STOC’75，【in：】美国计算机械协会第七届年度ACM计算理论研讨会论文集，纽约，纽约，美国（1975），第83–97页，DOI：https://doi.org/10.11145/800116.803756.
谷歌学者内政部：https://doi.org/10.11145/800116.803756

P.Hájek，P.Pudlák，《一阶算术的元数学》，《数理逻辑中的透视》，斯普林格出版社（1993）。
谷歌学者内政部：https://doi.org/10.1007/978-3-662-22156-3

W.Hodges，《较短模型理论》，剑桥大学出版社，剑桥（1997）。
谷歌学者

R.Kaye，《皮亚诺算法模型》，牛津逻辑指南第15卷，克拉伦登出版社（1991年）。
谷歌学者

J.Krajicek，《有界算术、命题逻辑和复杂性理论》，《数学及其应用百科全书》，剑桥大学出版社（1995），DOI:https://doi.org/10.1017/CBO9780511529948.
谷歌学者内政部：https://doi.org/10.1017/CBO9780511529948

D.Marker，《模型理论：导论》，《数学研究生教材》第217卷，Springer-Verlag，纽约（2002），内政部：https://doi.org/10.1007/b98860.
谷歌学者内政部：https://doi.org/10.1007/b98860

M.Moniri，有界公式的保存定理，《数学逻辑档案》，第46卷（1）（2007），第9-14页，DOI：https://doi.org/10.1007/s00153-006-0016-0.
谷歌学者内政部：https://doi.org/10.1007/s00153-006-0016-0