Abstract
We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avigad, J.: Saturated models of universal theories. Annals of Pure and Applied Logic 118, 219–234 (2002)
Bloch, S.: Divide and Conquer in Parallel Complexity and Proof Theory, Ph. D. Thesis. University of California, San Diego (1992)
Buss, S.: Bounded Arithmetic. Bibliopolis, Napoli (1986)
Clote, P., Takeuti, G.: First order bounded artihmetic and small boolean circuit complexity classes. In: Clote, P., Remmel, J (eds.) Feasible Mathematics II, pp. 154–218. Birkhäuser, Boston (1995)
Johannsen, J.: A Bounded Arithmetic Theory for Constant Depth Threshold Circuits. In: Gödel’96. Lecture Notes in Logic, vol. 6, pp. 224–234. Springer, Heidelberg (1996)
Johannsen, J., Pollett, C.: On Proofs About Threshold Circuits and Counting Hierarchies. In: Proc. 13th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (1998)
Johannsen, J., Pollett, C.: On the \(\Delta_1^b\)–Bit–Comprehension Rule. Logic Colloquium’98. Lecture Notes in Logic, ASL vol. 13, pp. 262–279 (2000)
Krajíček, J.: Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press, Cambridge (1995)
Nguyen, P., Cook, S.: Theories for TC 0 and other small complexity classes. Logical Methods in Computer Science 2, 1–40 (2006)
Pollett, C.: Structure and Definability in General Bounded Arithmetic Theories. Annals of Pure and Applied Logic 100, 189–245 (1999)
Sieg, W.: Herbrand Analyses. Archive for Mathematical Logic 30, 409–441 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cordòn-Franco, A., Fernández-Margarit, A., Lara-Martín, F.F. (2007). On Rules and Parameter Free Systems in Bounded Arithmetic. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)