Preservation theorems for bounded formulas

In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each of these properties. These results provide simple proofs for some known results in the model theory of the bounded arithmetic theories like

• Type: Journal
• Year: 2007
• Where: AML
• Authors: Morteza Moniri
• Keywords: AML 2007, Model Complete, Quantifier Elimination, Theory