Reverse mathematics - PDFSEARCH.IO - Document Search Engine

Reverse mathematics
Results: 109

#	Item
1	Partial orders and immunity in reverse mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com - Date: 2016-07-15 09:27:13
2	1 2 Lesson 1 Reverse-Engineering: How does NinjaCat work? Add to Reading List Source URL: www.bootstrapworld.org Language: English - Date: 2013-07-25 15:22:27 Mathematics Functions and mappings Function Coordinate system
3	Full Papers IDC 2015 Medford, MA, USA Reverse Scaffolding: A Constructivist Design Architecture for Mathematics Learning Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Education Educational psychology Educational technology Conceptual model Boolean algebra Learning theory Scaffold Object Process Methodology Instructional design Instructional scaffolding
4	HP Calculators Introduction into RPN Overview and history of RPN More about HP calculators: Add to Reading List Source URL: hp-prime.de Language: English - Date: 2015-11-30 15:29:17 Programmable calculators Calculators Mathematical notation Mathematics Office equipment Consumer electronics Equipment Reverse Polish notation Graphing calculators HP calculators HP-12C Scientific calculator
5	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
6	Emanuele Frittaion Curriculum Vitae 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-05-17 18:40:36 Mathematical logic Mathematics Computability theory Logic Philosophy of mathematics Foundations of mathematics Reverse mathematics Constructivism
7	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
8	Reverse Mathematics and the Coloring Number of Graphs Matthew A. Jura, Ph.D. University of Connecticut, 2009 Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-06-07 10:48:53 Graph theory Graph coloring Degeneracy Graph minor
9	COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-02-20 21:08:40 Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Banach fixed-point theorem Peetre theorem