Cut-elimination for \(\omega_{1}\)

DOI10.1016/J.APAL.2018.08.001OpenAlexW2885696443MaRDI QIDQ1799034

Toshiyasu Arai

Publication date: 18 October 2018

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

Full work available at URL: https://arxiv.org/abs/1801.10025

zbMATH Keywords

cut-eliminationreflection principleuncountable regular ordinal

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Intuitionistic fixed point theories over set theories
• A new system of proof-theoretic ordinal functions
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Consistency proofs of subsystems of classical analysis
• PROOF THEORY OF WEAK COMPACTNESS
• LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

This page was built for publication: Cut-elimination for \(\omega_{1}\)