301 search results - page 16 / 61 » On extensions of a theorem of Baxter |
JSYML
2002
13 years 7 months ago
2002
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
JUCS
2010
13 years 2 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
An occluding contour of a sphere is projected to a conic in the perspective image, and such a conic is called a sphere image. Recently, it has been discovered that each sphere imag...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
MLQ
2000
13 years 7 months ago
2000
We give a corrected proof of an extension of the Robinson Splitting Theorem for the d.c.e. degrees. The purpose of this short paper is to clarify and correct the main result and p...