1132 search results - page 11 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
JSYML
2011
12 years 9 months ago
2011
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementar...
DAGSTUHL
2008
13 years 8 months ago
2008
Abstract. Having good estimates or even bounds for the error in computing approximations to expressions of the form f(A)v is very important in practical applications. In this paper...
STOC
2003
ACM
14 years 7 months ago
2003
ACM
STOC
2010
ACM
14 years 4 months ago
2010
ACM
COMBINATORICS
2000
13 years 6 months ago
2000
Given a space endowed with symmetry, we define ms(, r) to be the maximum of m such that for any r-coloring of there exists a monochromatic symmetric set of size at least m. We c...