About the some conditions of the replaceability of the double induction
Articles
Livija Maliaukienė
Vilnius Pedagogical University
Published 2008-12-21
https://doi.org/10.15388/LMR.2008.18109
PDF

Keywords

sequential variant of the first order predicate calculus
additive arithmetic
the provability of the axiom of double induction

How to Cite

Maliaukienė L. (2008) “About the some conditions of the replaceability of the double induction”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 275–277. doi: 10.15388/LMR.2008.18109.

Abstract

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.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy