Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof
type: Item
instance of: scholarly article
title: Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof
zbMATH Open document ID: 1053.03031
author: Sergei Tupailo
publication date: 2004-03-08T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 2052656
zbMATH Keywords: Epsilon substitution method
zbMATH Keywords: cut elimination
zbMATH Keywords: ordinal analysis
zbMATH Keywords: predicative cut elimination
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/11.3.367
OpenAlex ID: W2015377148
DOI: 10.1093/JIGPAL/11.3.367
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 2052656