The provability of certain sequents in additive arithmetic

DOI10.1007/BF02348829zbMath0862.03033MaRDI QIDQ1925188

L. Maliaukienė

Publication date: 29 October 1996

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

zbMATH Keywords

proof theoryfirst-order arithmeticfree variable additive arithmeticdouble induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

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

Cites Work

• Unnamed Item
• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
• Open sentences and the induction axiom

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