A note on Gentzen's ordinal assignment

DOI10.1007/s00153-018-0641-4zbMath1477.03249OpenAlexW2883229425WikidataQ129501174 ScholiaQ129501174MaRDI QIDQ1734262

Annika Kanckos

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) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)

Cites Work

• Proof theory. 2nd ed
• Unnamed Item
• Unnamed Item
• Unnamed Item