Open AccessAbout the some conditions of the replaceability of the double induction
Author(s) -
Livija Maliaukienė
Publication year - 2008
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2008.18109
Subject(s) - axiom , mathematics , arithmetic , mathematical induction , asymmetric induction , pure mathematics , geometry , chemistry , biochemistry , enantioselective synthesis , catalysis
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.