The provability of certain sequents in additive arithmetic

DOI10.1007/BF02348829zbMATH Open0862.03033MaRDI QIDQ1925188FDOQ1925188

Livija Maliaukienė

Publication date: 29 October 1996

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

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
• [[:Publication:3318774|Title not available (Why is that?)]]
• The power of some forms of the induction axiom in the multiplicative arithmetic

zbMATH Keywords

proof theoryfirst-order arithmeticfree variable additive arithmeticdouble induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Title not available (Why is that?)
• 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
• Logical Theory of the Additive Monoid of Subsets of Natural Integers
• The power of some forms of the induction axiom in the multiplicative arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)