About the equivalent replaceability of the double induction axiom

MaRDI QIDQ2809677zbMATH OpenFDO

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)

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

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)