The provability of certain sequents in additive arithmetic

DOI10.1007/BF02348829MaRDI QIDQ1925188zbMATH OpenFDO

Authors Livija Maliaukienė

Publication date 29 October 1996

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

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

zbMATH Keywords

double inductionfirst-order arithmeticfree variable additive arithmeticproof theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Review text

This work is a first step toward determining that double induction is provable in the free variable additive arithmetic. The completion of the proof is promised for a second paper still due to appear.

Recommendations

• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
• About the some conditions of the replaceability of the double induction
• scientific article; zbMATH DE number 3849225
• The power of some forms of the induction axiom in the multiplicative arithmetic

Cites work

• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• Open sentences and the induction axiom
• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic

Cited in

(7)

• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
• The power of some forms of the induction axiom in the multiplicative arithmetic
• scientific article; zbMATH DE number 3849225 (Why is no real title available?)
• scientific article; zbMATH DE number 5000992 (Why is no real title available?)
• scientific article; zbMATH DE number 5693751 (Why is no real title available?)
• scientific article; zbMATH DE number 5560465 (Why is no real title available?)
• Logical Theory of the Additive Monoid of Subsets of Natural Integers

This page was built for publication: The provability of certain sequents in additive arithmetic

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