Computability logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-10-02 10:18:56 Proof theory Model theory Computability theory Functions and mappings Dialectica interpretation Intuitionism Interpretation Symbol Gödel–Gentzen negative translation Mathematical logic Logic Mathematics		Add to Reading List Source URL: www.andrew.cmu.edu Download Document from Source Website File Size: 435,82 KB Share Document on Facebook

	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore DocID: 1okaY - View Document
	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ DocID: 1odgj - View Document
	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany DocID: 1o072 - View Document
	A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011 DocID: 1nGc1 - View Document
	Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001 DocID: 1noAH - View Document