Hint

Swipe to navigate through the chapters of this book

2009 | OriginalPaper | Chapter

A Characterisation of Definable NP Search Problems in Peano Arithmetic

Author: Arnold Beckmann

Publisher: Springer Berlin Heidelberg

Published in: Logic, Language, Information and Computation

» Get access to the full-text

The complexity class of ≺

-bounded local search problems with goals

is introduced for well-orderings ≺, and is used to give a characterisation of definable

search problems in Peano Arithmetic.

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 69.000 Bücher
über 500 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 50.000 Bücher
über 380 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Maschinenbau + Werkstoffe

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 58.000 Bücher
über 300 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Title

A Characterisation of Definable NP Search Problems in Peano Arithmetic

Book

Logic, Language, Information and Computation

Print ISBN: 978-3-642-02260-9

Electronic ISBN: 978-3-642-02261-6

https://doi.org/10.1007/978-3-642-02261-6

DOI

https://doi.org/10.1007/978-3-642-02261-6_1

Author:

Arnold Beckmann

Publisher

Springer Berlin Heidelberg

Sequence number

Premium Partner

Image Credits