The optimality of induction as an axiomatization of arithmetic
type: Item
instance of: scholarly article
title: The optimality of induction as an axiomatization of arithmetic
zbMATH Open document ID: 0515.03018
DOI: 10.2307/2273332
author: Daniel M. Leivant
published in: Journal of Symbolic Logic
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://hdl.handle.net/1813/6290
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 3813597
zbMATH Keywords: induction scheme
zbMATH Keywords: primitive recursive arithmetic
zbMATH Keywords: first order logic
MaRDI profile type: Publication
OpenAlex ID: W2016916627
cites work: On n-quantifier induction
cites work: Q5334280
description: scientific article