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

DOI10.1007/BF02465124zbMATH Open0965.03071OpenAlexW2089947698WikidataQ114018434 ScholiaQ114018434MaRDI QIDQ1592020FDOQ1592020

Authors: Livija 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

Recommendations

• scientific article; zbMATH DE number 3851081
• scientific article; zbMATH DE number 1163362
• scientific article; zbMATH DE number 4045713
• scientific article; zbMATH DE number 4154439
• The provability of certain sequents in additive arithmetic

zbMATH Keywords

inductionmultiplicative arithmeticsequential variant

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• The provability of certain sequents in additive arithmetic
• Note on an induction axiom
• Title not available (Why is that?)

Cited In (3)

• On Axiomatizability of the Multiplicative Theory of Numbers
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1592020)