scientific article; zbMATH DE number 4099294

MaRDI QIDQ3824311zbMATH OpenFDO

Authors A. S. Mashuryan

Publication date 1985

zbMATH Keywords

consistencyfragments of first-order arithmeticincompleteness

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Finitary consistency of a free arithmetic
• Slow consistency
• scientific article; zbMATH DE number 1215494
• The consistency of arithmetic
• scientific article; zbMATH DE number 227056

Cited in

(5)

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

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)