Ramsey - PDFSEARCH.IO - Document Search Engine

Ramsey
Results: 1430

#	Item
121	T HE HIERARCHIES M ATHIAS - LIKE FORCING Controlling iterated jumps of Ramsey-type theorems Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-09-20 15:03:06 Computability theory Low
122	MINUTES OF THE CHAFFEE COUNTY HERITAGE AREA ADVISORY BOARD THURSDAY October 1, 2015 TOUBER BUILDING, SALIDA Members Present: Kay Krebs, Kristi Jefferson, John McCarthy, Kathy Moore, John Nahomenuk, Alison Ramsey. Absent: Add to Reading List Source URL: garna.org Language: English - Date: 2015-10-19 16:51:00
123	U NIVERSITÉ PARIS D IDEROT – PARIS VII S ORBONNE PARIS C ITÉ É COLE D OCTORALE S CIENCES M ATHÉMATIQUES DE PARIS C ENTRE THÈSE en vue d’obtenir le grade de Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-02-09 12:07:59 Computability theory Ramsey theory Theorem Graph coloring Reverse mathematics
124	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
125	COUP D’ÉTAT EVENTS, CODEBOOK Monty G. Marshall and Donna Ramsey Marshall Center for Systemic Peace May 11, 2016 Add to Reading List Source URL: www.systemicpeace.org Language: English - Date: 2016-05-19 23:23:02
126	Accessing Rydberg-dressed interactions using many-body Ramsey dynamics Rick Mukherjee,∗ Thomas C. Killian, and Kaden R. A. Hazzard We demonstrate that Ramsey spectroscopy can be used to observe Rydberg-dressed interact Add to Reading List Source URL: kaden.rice.edu Language: English - Date: 2015-11-30 22:29:04
127	Fachbereich Mathematik Proof mining and combinatorics Program extraction for Ramsey’s theorem for pairs Vom Fachbereich Mathematik Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2012-05-15 05:15:29 Mathematics Topology Mathematical analysis Computability theory General topology Proof theory Mathematical logic Reverse mathematics BolzanoWeierstrass theorem HeineBorel theorem Intermediate value theorem Primitive recursive function
128	An algorithmic framework for obtaining lower bounds for random Ramsey problems Rajko Nenadov1 Yury Person2 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-08-24 20:37:15
129	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: ludovicpatey.com Language: English - Date: 2015-08-07 15:59:27 Mathematics Mathematical analysis Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Differential forms on a Riemann surface Banach fixed-point theorem
130	Ordinal Analysis and the Infinite Ramsey Theorem Bahareh Afshari1 and Michael Rathjen2 1 School of Informatics, University of Edinburgh, Edinburgh, UK Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 15:42:30

UPDATE