scientific article; zbMATH DE number 4123723

zbMATH Open0686.03031MaRDI QIDQ4204147FDOQ4204147

Authors: O. F. Serebryannikov 

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 1163925
• scientific article; zbMATH DE number 1114335
• A cut-free calculus for second-order Gödel logic
• Publication:3475264
• The consistency of arithmetic

zbMATH Keywords

cut eliminationsecond-order logicconsistency of arithmeticGödel's second incompleteness theorem

Mathematics Subject Classification ID

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

Cited In (2)

• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Cut-elimination for a logic with definitions and induction

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