Results 81 to 90 of about 1,180 (130)
Term extraction and Ramsey's theorem for pairs [PDF]
, 2012 Alexander Kreuzer, Ulrich Kohlenbach
openalex +1 more source
Finite models, stability, and Ramsey's theorem
, 1996 Doug Ensley, Rami Grossberg
openalex +2 more sources
Assessing and Resolving Model Misspecifications in Metabolic Flux Analysis. [PDF]
Bioengineering (Basel), 2017 Gunawan R, Hutter S.
europepmc +1 more source
In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of $α$-largeness, where $α$ is a countable ordinal equipped with a system of fundamental sequences.
Marcone, Alberto +2 more
openaire +2 more sources
Computable Ramsey's Theorem for Pairs Needs Infinitely Many Pi-0-2 Sets
, 2015 Gregory Igusa, Henry Towsner
openalex +2 more sources
Zero-sum dynamic games and a stochastic variation of Ramsey's theorem [PDF]
, 2004 Eran Shmaya, Eilon Solan
openalex +1 more source
Ramsey's theorem for singletons and strong computable reducibility
, 2016 Damir D. Dzhafarov +3 more
openalex +2 more sources
Weaker cousins of Ramsey's theorem over a weak base theory
, 2021 Marta Fiori-Carones +2 more
openalex +2 more sources
Cross-constraint basis theorems and products of partitions
We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility.
Cervelle, Julien +2 more
core