A relation between transfinite induction and mathematical induction in elementary number theory
type: Item
instance of: scholarly article
title: A relation between transfinite induction and mathematical induction in elementary number theory
zbMATH Open document ID: 0415.03048
author: Kokio Shirai
published in: Tsukuba Journal of Mathematics
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 3645088
zbMATH Keywords: proof theory
zbMATH Keywords: ordinal estimates for subsystems of arithmetic
zbMATH Keywords: derivability of transfinite induction
zbMATH Keywords: intuitionistic arithmetic
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1496158380
OpenAlex ID: W2243726694
DOI: 10.21099/TKBJM/1496158380
description: scientific article; zbMATH DE number 3645088