Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, - Oliva - Document - PDFSEARCH.IO

First Page	Meta Content
	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Document Date: 2012-11-12 10:33:41 Open Document File Size: 330,42 KB Share Result on Facebook / Facility University of Aarhus / / IndustryTerm This algorithm / genuine analytical tool / Proof mining / iterative algorithms / mining / / Organization Danish National Research Foundation / Department of Computer Science / University of Aarhus / / Person Paulo Oliva / Cheney / Ulrich Kohlenbach / / Position Bishop / first author / second author / / ProgrammingLanguage C / / Technology This algorithm / analysis The algorithm / / SocialTag Computability theory Proof theory Functions and mappings Model theory Modulus of continuity Primitive recursive function Gödel–Gentzen negative translation Reverse mathematics Function Mathematics

Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,Add to Reading List