Sciweavers

19 search results - page 1 / 4
» Two New Extensions of the Hales-Jewett Theorem
Sort
View
COMBINATORICS
2000
78views more  COMBINATORICS 2000»
13 years 4 months ago
Two New Extensions of the Hales-Jewett Theorem
: We prove two extensions of the Hales-Jewett coloring theorem. The first is a polynomial version of a finitary case of Furstenberg and Katznelson's multiparameter elaboration...
Randall McCutcheon
APAL
2010
90views more  APAL 2010»
13 years 5 months ago
Canonical extensions for congruential logics with the deduction theorem
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
AML
2008
124views more  AML 2008»
13 years 5 months ago
The elementary computable functions over the real numbers: applying two new techniques
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
Manuel Lameiras Campagnolo, Kerry Ojakian
APAL
2008
83views more  APAL 2008»
13 years 5 months ago
Easton's theorem and large cardinals
The continuum function F on regular cardinals is known to have great freedom; if , are regular cardinals, then F needs only obey the following two restrictions: (1) cf(F()) > ...
Sy D. Friedman, Radek Honzik
ICCAD
2002
IEEE
104views Hardware» more  ICCAD 2002»
14 years 1 months ago
A new enhanced SPFD rewiring algorithm
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
Jason Cong, Joey Y. Lin, Wangning Long