A note on Gentzen's ordinal assignment

DOI10.1007/S00153-018-0641-4MaRDI QIDQ1734262zbMATH OpenOpenAlexWikidataFDO

Authors Annika Siders

Publication date 27 March 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10138/303909

zbMATH Keywords

normalizationordinal notationsrelative consistency proof

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• Gentzen's consistency proof without heightlines
• Decoding Gentzen's Notation
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• scientific article; zbMATH DE number 5057388

Cites work

• scientific article; zbMATH DE number 48365 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3030933 (Why is no real title available?)
• Proof theory. 2nd ed

This page was built for publication: A note on Gentzen's ordinal assignment

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