Abstract
The complexity class of ≺-bounded local search problems with goals is introduced for well-orderings ≺, and is used to give a characterisation of definable NP search problems in Peano Arithmetic.
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
Aehlig, K., Beckmann, A.: On the computational complexity of cut-reduction. Submitted to APAL (2008)
Beckmann, A., Buss, S.R.: Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Technical Report CSR15-2008, Department of Computer Science, Swansea University (December 2008)
Beckmann, A., Buss, S.R.: Characterising definable search problems in bounded arithmetic via proof notations. Technical report, Department of Computer Science, Swansea University (January 2009)
Beckmann, A., Buss, S.R., Pollett, C.: Ordinal notations and well-orderings in bounded arithmetic. Ann. Pure Appl. Logic 120(1-3), 197–223 (2003)
Buss, S.R., Krajíček, J.: An application of Boolean complexity to separation problems in bounded arithmetic. Proc. London Math. Soc. (3) 69(1), 1–21 (1994)
Buchholz, W.: Notation systems for infinitary derivations. Archive for Mathematical Logic 30, 277–296 (1991)
Buchholz, W.: Explaining Gentzen’s consistency proof within infinitary proof theory. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1997. LNCS, vol. 1289, pp. 4–17. Springer, Heidelberg (1997)
Buss, S.R.: Bounded arithmetic. Studies in Proof Theory. Lecture Notes, vol. 3. Bibliopolis, Naples (1986)
Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493–565 (1936)
Johnson, D.S., Papadimitriou, C.H., Yannakakis, M.: How easy is local search? J. Comput. System Sci. 37(1), 79–100 (1988); 26th IEEE Conference on Foundations of Computer Science (Portland, OR, 1985)
Kreisel, G., Mints, G.E., Simpson, S.G.: The use of abstract language in elementary metamathematics: Some pedagogic examples. In: Parikh, R. (ed.) Logic Colloquium. Lecture Notes in Mathematics, vol. 453, pp. 38–131. Springer, Heidelberg (1975)
Krajíček, J.: Fragments of bounded arithmetic and bounded query classes. Trans. Amer. Math. Soc. 338(2), 587–598 (1993)
Krajíček, J., Skelley, A., Thapen, N.: NP search problems in low fragments of bounded arithmetic. J. Symbolic Logic 72(2), 649–672 (2007)
Mints, G.E.: Finite investigations of transfinite derivations. Journal of Soviet Mathematics 10, 548–596 (1978); Translated from: Zap. Nauchn. Semin. LOMI 49 (1975); Cited after Grigori Mints. Selected papers in Proof Theory. Studies in Proof Theory. Bibliopolis (1992)
Pohlers, W.: Proof theory. The first step into impredicativity. Universitext. Springer, Berlin (2009)
Pollett, C.: Structure and definability in general bounded arithmetic theories. Ann. Pure Appl. Logic 100(1-3), 189–245 (1999)
Pudlák, P.: Consistency and games—in search of new combinatorial principles. In: Logic Colloquium 2003. Lect. Notes Log., vol. 24, pp. 244–281. Assoc. Symbol. Logic, La Jolla (2006)
Paris, J., Wilkie, A.: Counting problems in bounded arithmetic. In: Dold, A., Eckmann, B. (eds.) Methods in Mathematical Logic (Proceedings Caracas 1983). Lecture Notes in Mathematics, vol. 1130, pp. 317–340. Springer, Heidelberg (1985)
Skelley, A., Thapen, N.: The provable total search problems of bounded arithmetic (2007); Typeset manuscript
Tait, W.W.: Normal derivability in classical logic. In: Barwise, J. (ed.) The Syntax and Semantics of Infinitatry Languages. Lecture Notes in Mathematics, vol. 72, pp. 204–236. Springer, Heidelberg (1968)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beckmann, A. (2009). A Characterisation of Definable NP Search Problems in Peano Arithmetic. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science(), vol 5514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02261-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-02261-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02260-9
Online ISBN: 978-3-642-02261-6
eBook Packages: Computer ScienceComputer Science (R0)