×

zbMATH — the first resource for mathematics

On the formulas of Peano arithmetic which are provably closed under modus ponens. (English) Zbl 0405.03030

MSC:
03F30 First-order arithmetic and fragments
PDF BibTeX XML Cite