Transfinite update procedures for predicative systems of analysis

DOI10.4230/LIPICS.CSL.2011.20MaRDI QIDQ2915671zbMATH OpenOpenAlexFDO

Authors Federico Aschieri

Publication date 18 September 2012

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

zbMATH Keywords

bar recursionepsilon substitution methodpredicative classical analysisupdate procedure

Mathematics Subject Classification ID

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

Recommendations

• A constructive analysis of learning in Peano arithmetic
• scientific article; zbMATH DE number 2006631
• scientific article; zbMATH DE number 65537
• Transfinite dependent choice and ω-model reflection
• Proof theory and ordinal analysis

Cited in

(3)

• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Constructive forcing, CPS translations and witness extraction in interactive realizability

This page was built for publication: Transfinite update procedures for predicative systems of analysis

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