Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
type: Item
instance of: scholarly article
title: Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
zbMATH Open document ID: 1022.03040
DOI: 10.1016/S0168-0072(02)00112-4
author: Toshiyasu Arai
published in: Annals of Pure and Applied Logic
publication date: 2003-07-30T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 1956679
zbMATH Keywords: epsilon substitution
zbMATH Keywords: ordinal interpretation
zbMATH Keywords: termination proof
zbMATH Keywords: non-iterated inductive definitions
zbMATH Keywords: transfinite induction
zbMATH Keywords: Howard ordinal
MaRDI profile type: Publication
cites work: Q4934555
cites work: Epsilon substitution method for theories of jump hierarchies
cites work: Strong termination for the epsilon substitution method
cites work: Epsilon substitution method for elementary analysis
cites work: Elementary induction on abstract structures
Recommended article: Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
Recommended article: Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
Recommended article: Epsilon substitution method for -FIX
Recommended article: Epsilon substitution for \(ID_1\) via cut-elimination
Recommended article: Non-deterministic Epsilon Substitution Method for PA and ID 1
Recommended article: Q4981452
Recommended article: Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof
Recommended article: Epsilon substitution method for elementary analysis
Recommended article: Q4793026
Recommended article: Q5074521
description: scientific article; zbMATH DE number 1956679