Results 91 to 100 of about 1,125 (159)
Ramsey's Theorem for Pairs and Provably Recursive Functions [PDF]
, 2009 Ulrich Kohlenbach, Alexander Kreuzer
openalex +1 more source
Ramsey's Theorem and Poisson Random Measures [PDF]
, 1983 Timothy C. Brown, Joseph Kupka
openalex +1 more source
$Π^0_4$ conservation of Ramsey's theorem for pairs [PDF]
Quentin Le Houérou +2 more
openalex +1 more source
Homogeneous Dual Ramsey Theorem
, 2019 For positive integers $k < n$ such that $k$ divides $n$, let $(n)^k_{\hom}$ be the set of homogeneous $k$-partitions of $\{1, \dots, n\}$, that is, the set of partitions of $\{1, \dots, n\}$ into $k$ classes of the same cardinality. In the article "Ramsey properties of infinite measure algebras and topological dynamics of the group of measure ...
openaire +2 more sources
An intuitionistic version of Ramsey's Theorem and its use in Program Termination
, 2015 Stefano Berardi, Silvia Steila
openalex +2 more sources
The Strength of Ramsey's Theorem For Pairs over trees: I. Weak König's Lemma [PDF]
, 2019 Chi Tat Chong, Wei Li, Lu Liu, Yue Yang
openalex +1 more source
A note on polynomial time computable arithmetic [PDF]
, 1990 Buchholz, Wilfried, Sieg, W.
core +1 more source