Epsilon substitution method for -FIX

DOI10.2178/JSL/1164060450MaRDI QIDQ3416109zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 19 January 2007

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1164060450

zbMATH Keywords

epsilon substitution methodproof-theoretic ordinals

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
• Strong termination for the epsilon substitution method
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• A termination proof for epsilon substitution using partial derivations

Cites work

• Epsilon substitution for transfinite induction
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection

Cited in

(8)

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for theories of jump hierarchies
• Epsilon substitution for \(ID_1\) via cut-elimination
• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
• Proof theory of weak compactness
• scientific article; zbMATH DE number 1418438 (Why is no real title available?)
• Exact bounds on epsilon processes

This page was built for publication: Epsilon substitution method for -FIX

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