About the equivalent replaceability of the double induction axiom

zbMATH Open1338.03109MaRDI QIDQ2809677FDOQ2809677

Authors: Livija Maliaukienė 

Publication date: 30 May 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

sequent calculusadditive arithmeticdouble induction axiom

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (2)

• About the some conditions of the replaceability of the double induction
• Local consistency of arithmetic with an attainability predicate

This page was built for publication: About the equivalent replaceability of the double induction axiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2809677)