A note on bounded arithmetic

DOI10.4064/FM-136-2-85-89zbMath0734.03030OpenAlexW1026831770MaRDI QIDQ3360848

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 arithmeticfragmentbounded consistency

Mathematics Subject Classification ID

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

Related Items (5)

Unprovability of consistency statements in fragments of bounded arithmetic ⋮ Preservation theorems and restricted consistency statements in bounded arithmetic ⋮ INCOMPLETENESS IN THE FINITE DOMAIN ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC

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