MODELS OF BOUNDED ARITHMETIC THEORIES AND SOME RELATED COMPLEXITY QUESTIONS.

In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory S2¹(PV) has bounded model companion then NP = coNP. We also study bounded versions of some other related notions such as Stone topology. [ABSTRACT FROM AUTHOR]