Intuitionistic elementary arithmetic

DOI10.1007/BF00971090zbMath0787.03046MaRDI QIDQ1204675

V. Ya. Bochernikov

Publication date: 18 March 1993

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

zbMATH Keywords

derivabilityKripke modelsintuitionistic arithmeticcharacteristic functions of bounded quantifiersinduction restricted to formulas with bounded quantifiers

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Intuitionistic weak arithmetic

Cites Work

• Gödel's Second Theorem for Elementary arithmetic
• Existence and feasibility in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic elementary arithmetic