scientific article

zbMATH Open0672.03044MaRDI QIDQ3824311

A. S. Mashuryan

Publication date: 1985

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

zbMATH Keywords

consistencyincompletenessfragments of first-order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (4)

Herbrand consistency of some arithmetical theories ⋮ Hierarchies of Subsystems of Weak Arithmetic ⋮ Explaining the Gentzen-Takeuti reduction steps: A second-order system ⋮ Local consistency of arithmetic with an attainability predicate

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