301 search results - page 10 / 61 » On extensions of a theorem of Baxter |
71
Voted
APAL
2008
15 years 26 days ago
2008
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()) > ...
80
Voted
ENTCS
2007
15 years 21 days ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
104
click to vote
AUSAI
2010
Springer
14 years 11 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
76
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
A Ramsey theory problem, that can be seen as a 2 dimensional extension of the Van der Waerden theorem, was posed by Martin J. Erickson in his book [1]: "find the minimum n su...
80
Voted
MLQ
1998
15 years 12 days ago
1998
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...