Finite notations for infinite terms
type: Item
instance of: scholarly article
title: Finite notations for infinite terms
zbMATH Open document ID: 0935.03066
DOI: 10.1016/S0168-0072(97)00073-0
author: Helmut Schwichtenberg
published in: Annals of Pure and Applied Logic
publication date: 2000-05-09T00:00:00Z
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03D65
zbMATH DE Number: 1308087
zbMATH Keywords: ordinal notations
zbMATH Keywords: infinitary terms
zbMATH Keywords: trade-off theorem
zbMATH Keywords: continuous normalization
MaRDI profile type: Publication
cites work: Notation systems for infinitary derivations
cites work: Q5536629
cites work: On the interpretation of non-finitist proofs–Part II
cites work: Finite investigations of transfinite derivations
cites work: Q3708018
cites work: Q4079601
cites work: Q3801545
cites work: Q4934291
cites work: Q4850555
cites work: Q5533180
cites work: How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
Recommended article: Notation systems for infinitary derivations
Recommended article: Infinite terms and infinite rewritings
Recommended article: On finite representations of infinite sequences of terms
Recommended article: Normalization of Infinite Terms
Recommended article: Quantifier elimination for infinite terms
Recommended article: Q3147530
Recommended article: Q5677453
Recommended article: Q3970985
Recommended article: Infinity and Finite Arithmetic
description: scientific article; zbMATH DE number 1308087