scientific article; zbMATH DE number 3786774

zbMATH Open0499.03044MaRDI QIDQ3964563FDOQ3964563

Tohru Miyatake

Publication date: 1981

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

zbMATH Keywords

primitive recursive arithmeticfirst order extension of PRAlogic-free equational calculus

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Cited In (2)

• The undecidability of \(k\)-provability
• Bounded arithmetic, proof complexity and two papers of Parikh

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