Dialectica interpretation - PDFSEARCH.IO - Document Search Engine

Dialectica interpretation
Results: 14

#	Item
1	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 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
2	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
3	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 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
4	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 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-04-18 10:49:58 Proof theory Computability theory Dialectica interpretation Intuitionism Symbol operator Primitive recursive functional
5	Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2007-01-13 09:21:39 Dialectica interpretation Intuitionism Proof theory Sheaf Product rule Portable character set
6	Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2016-05-02 10:01:00 Mathematics Mathematical logic Logic Logic in computer science Constructible universe Peano axioms Factorization Algebraic logic Dialectica interpretation Combinatory logic
7	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Bounded Dialectica Interpretation: categorically Authors: Valeria de Paiva (Nuance Add to Reading List Source URL: www.sbm.org.br Language: English - Date: 2016-03-03 13:50:19
8	G¨odel’s interpretation of intuitionism W. W. Tait∗ Abstract G¨odel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of con Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2006-04-08 16:37:11
9	System T and the Product of Selection Functions Martín Escardó1 , Paulo Oliva2 , and Thomas Powell2 1 University of Birmingham Department of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-20 06:36:33 Proof theory Computability theory Functions and mappings Theory of computation Dialectica interpretation Function Primitive recursive function Peano axioms Well-founded relation Mathematics Mathematical logic Logic
10	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism