Finite notations for infinite terms

DOI10.1016/S0168-0072(97)00073-0MaRDI QIDQ1295405zbMATH OpenFDO

Authors 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

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

Recommendations

• Notation systems for infinitary derivations
• Infinite terms and infinite rewritings
• On finite representations of infinite sequences of terms
• Normalization of Infinite Terms
• Quantifier elimination for infinite terms
• scientific article; zbMATH DE number 1803217
• scientific article; zbMATH DE number 3412592
• scientific article; zbMATH DE number 8328
• Infinity and Finite Arithmetic

Cites work

• scientific article; zbMATH DE number 3933067 (Why is no real title available?)
• scientific article; zbMATH DE number 4068861 (Why is no real title available?)
• scientific article; zbMATH DE number 3497886 (Why is no real title available?)
• scientific article; zbMATH DE number 806754 (Why is no real title available?)
• scientific article; zbMATH DE number 1390026 (Why is no real title available?)
• scientific article; zbMATH DE number 3247154 (Why is no real title available?)
• scientific article; zbMATH DE number 3249775 (Why is no real title available?)
• Finite investigations of transfinite derivations
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• Notation systems for infinitary derivations
• On the interpretation of non-finitist proofs–Part II

Cited in

(5)

• Continuous normalization for the lambda-calculus and Gödel's T
• Infix and postfix notations
• Semi-formal calculi and their applications
• scientific article; zbMATH DE number 4068861 (Why is no real title available?)
• Conversations with Bill about functionals and terms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295405)