Hereditarily effective typestreams
type: Item
instance of: scholarly article
title: Hereditarily effective typestreams
zbMATH Open document ID: 0876.03023
author: Dag Normann
published in: Archive for Mathematical Logic
publication date: 1997-10-30T00:00:00Z
full work available at URL: http://hdl.handle.net/10852/43292
review text: In previous work the author has introduced the notion of typestreams to generalize types defined by strictly positive induction. Modifying this by imposing effectivity conditions, the present paper constructs the so-called hereditarily effective typestreams. The construction is inductive, and the paper's main result is that the closure ordinal of this induction is the first recursively inaccessible ordinal.
Mathematics Subject Classification ID: 03D60
zbMATH DE Number: 1036281
zbMATH Keywords: typestream
zbMATH Keywords: hereditarily effective typestream
zbMATH Keywords: positive induction
zbMATH Keywords: closure ordinal of induction
zbMATH Keywords: first recursively inaccessible ordinal
reviewed by: Leon Harkleroad
MaRDI profile type: Publication
OpenAlex ID: W2044870424
DOI: 10.1007/S001530050062
description: scientific article; zbMATH DE number 1036281