scientific article; zbMATH DE number 3681754

MaRDI QIDQ3877677zbMATH OpenFDO

Authors Carlo Cellucci

Publication date 1977

zbMATH Keywords

1-consistency of number theorynormalization theorem for first-order arithmeticproof of a universal sentenceproof theory

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

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 Q3877677)