About the some conditions of the replaceability of the double induction

Livija  Maliaukienė

doi:10.15388/LMR.2008.18109

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.

Download Citation

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

Downloads

Download data is not yet available.

Most read articles in this journal

Livija Maliaukienė, About the equivalent replaceability of the double induction axiom , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Livija Maliaukienė, The influence of the paradoxes on the development of a mathematical results , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Livija Maliaukienė, About the provability of the Kotzig's hypothesis , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Livija Maliaukienė, About the possibility of the extension of the additive arithmetic , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Livija Maliaukienė, The provability of some weak forms of the induction axiom , Lietuvos matematikos rinkinys: Vol. 40 (2000)