344 search results - page 7 / 69 » Some Theorems We Should Prove |
AML
2007
13 years 7 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
JAT
2006
13 years 7 months ago
2006
We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove end...
CTRS
1990
13 years 11 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
JSYML
2000
13 years 7 months ago
2000
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-sem...
DCG
2008
13 years 7 months ago
2008
We prove Helly-type theorems for line transversals to disjoint unit balls in Rd . In particular, we show that a family of n 2d disjoint unit balls in Rd has a line transversal if,...