Realizability - PDFSEARCH.IO - Document Search Engine

Realizability
Results: 90

#	Item
11	Must Structural Realism Cover the Special Sciences? Holger Lyre Abstract Structural Realism (SR) is typically rated as a moderate realist doctrine about the ultimate entities of nature described by fundamental physics. W Add to Reading List Source URL: philpapers.org Language: English Linguistics Scientific method Structuralism Reductionism Structural linguistics Multiple realizability Structure Structural engineering Conceptual model Group
12	The Complexity of Several Realizability Problems for Abstract Topological Graphs Jan Kynˇcl Charles University, Prague Graph: Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2007-09-07 18:34:50
13	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
14	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
15	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
16	Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English
17	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
18	An arithmeti al hierar hy of the law of ex luded middle and related prin iples 1 Yohji Akama Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:30:01 Constructivism Proof theory Realizability FO Orthogonal polynomials
19	15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia Add to Reading List Source URL: cca-net.de Language: English - Date: 2016-05-26 12:34:11 Computability theory Constructivism Theory of computation Computable analysis Mathematics Logic Computable number Realizability Academia Computable measure theory
20	Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory RAY-MING CHEN, School of Mathematics, University of Leeds Leeds LS2 9JT, UK, E-mail: MICHAEL RATHJEN, School of Mathematics, Un Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 08:28:56