Finite notations for infinite terms

DOI10.1016/S0168-0072(97)00073-0zbMath0935.03066MaRDI QIDQ1295405

Helmut Schwichtenberg

Publication date: 9 May 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

ordinal notationscontinuous normalizationinfinitary termstrade-off theorem

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Higher-type and set recursion theory (03D65)

Related Items (1)

Continuous normalization for the lambda-calculus and Gödel's T

Cites Work

• Finite investigations of transfinite derivations
• Notation systems for infinitary derivations
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• On the interpretation of non-finitist proofs–Part II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite notations for infinite terms