Transfinite Update Procedures for Predicative Systems of Analysis

From MaRDI portal

Publication:2915671

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2011.20zbMath1247.03123OpenAlexW1541813404MaRDI QIDQ2915671

Federico Aschieri

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_7199.html

zbMATH Keywords

bar recursion epsilon substitution method predicative classical analysis update procedure

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (2)

Constructive forcing, CPS translations and witness extraction in Interactive realizability ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

This page was built for publication: Transfinite Update Procedures for Predicative Systems of Analysis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2915671&oldid=15885179"