The power of some forms of the induction axiom in the multiplicative arithmetic

DOI10.1007/BF02465124zbMath0965.03071OpenAlexW2089947698WikidataQ114018434 ScholiaQ114018434MaRDI QIDQ1592020

L. Maliaukienė

Publication date: 17 May 2001

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02465124

zbMATH Keywords

inductionmultiplicative arithmeticsequential variant

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item
• The provability of certain sequents in additive arithmetic
• Note on an induction axiom

This page was built for publication: The power of some forms of the induction axiom in the multiplicative arithmetic