About the some conditions of the replaceability of the double induction
Livija Maliaukienė · Lietuvos matematikos rinkinys · 2008
The provability of the axiom of double induction (ADI) with the open induction formula in the additive arithmetic is investigated. The system of additional axioms and theirs provability by ADI is presented.