Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)
type: Item
instance of: scholarly article
title: Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)
zbMATH Open document ID: 0923.03065
author: Kazuma Ikeda
published in: Tsukuba Journal of Mathematics
publication date: 1999-02-02T00:00:00Z
review text: In a previous paper [Tsukuba J. Math. 21, 285-304 (1997; Zbl 0895.03024)], the author extended a normalization theorem due to the reviewer [Ann. Pure Appl. Log. 62, 65-79 (1993; Zbl 0786.03040)] to obtain a statement implying \(\omega\)-consistency of first-order arithmetic PA. Now he extends statements and proofs to theories of \(\xi\) times iterated inductive definitions.
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 1247879
zbMATH Keywords: normalization theorem
zbMATH Keywords: inductive definitions
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1496163583
OpenAlex ID: W1590176016
DOI: 10.21099/TKBJM/1496163583
description: scientific article; zbMATH DE number 1247879