scientific article; zbMATH DE number 1114029

zbMATH Open0899.03043MaRDI QIDQ4375800FDOQ4375800

Authors: Dan E. Willard 

Publication date: 3 November 1998

Title of this publication is not available (Why is that?)

Recommendations

• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• On the metamathematics of the P vs. NP question
• A small reflection principle for bounded arithmetic
• P, NP, Co-NP and weak systems of arithmetic

zbMATH Keywords

consistencysatisfiabilityreflection principlearithmetization\(\text{P}=\text{NP}\)axiomatic systems of arithmeticintrospective semanticsnon-growth functions

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) First-order arithmetic and fragments (03F30) Other applications of logic (03B80)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375800)