A note on bounded arithmetic

DOI10.4064/FM-136-2-85-89MaRDI QIDQ3360848zbMATH OpenOpenAlexFDO

Authors Pavel Pudlák

Publication date 1990

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211819

zbMATH Keywords

bounded arithmeticbounded consistencyfragment

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Cited in

(11)

• Bounded arithmetic and the polynomial hierarchy
• Unprovability of consistency statements in fragments of bounded arithmetic
• A bounded arithmetic AID for Frege systems
• A generalization of the second incompleteness theorem and some exceptions to it
• scientific article; zbMATH DE number 5862941 (Why is no real title available?)
• Incompleteness in the finite domain
• Consistency proof of a fragment of PV with substitution in bounded arithmetic
• scientific article; zbMATH DE number 218509 (Why is no real title available?)
• A note on equality in finite‐type arithmetic
• Preservation theorems and restricted consistency statements in bounded arithmetic
• On proving consistency of equational theories in bounded arithmetic

This page was built for publication: A note on bounded arithmetic

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