Dialectica - PDFSEARCH.IO - Document Search Engine

Dialectica
Results: 91

#	Item
11	Microsoft Word - Engels - Dialectica de la Naturaleza.doc Add to Reading List Source URL: www.edu.mec.gub.uy - Date: 2006-02-13 07:42:09
12	dialectica bs_bs_banner dialectica Vol. 69, N° ), pp. 435–472 DOI: .12120 Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2015-12-29 10:29:07 Projective geometry Euclidean plane geometry Incidence geometry Triangles Euclidean geometry Perspective Geometry Collinearity Theorem Mathematical proof Incidence Girard Desargues
13	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
14	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
15	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
16	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
17	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
18	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
19	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
20	Øystein Linnebo University of Oxford Draft of 15 November 2003; revised 13 April 2005; to appear in Dialectica To Be Is to Be an F 1. Introduction Is the natural number 3 identical with the Roman emperor Julius Caesar? Add to Reading List Source URL: oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:01

UPDATE