Transfinite update procedures for predicative systems of analysis
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03123
author: Federico Aschieri
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 7199.html
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 6083528
zbMATH Keywords: update procedure
zbMATH Keywords: epsilon substitution method
zbMATH Keywords: predicative classical analysis
zbMATH Keywords: bar recursion
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1541813404
DOI: 10.4230/LIPICS.CSL.2011.20
title: Transfinite update procedures for predicative systems of analysis
description: scientific article; zbMATH DE number 6083528