Sciweavers

AML
2004
52views more  AML 2004»
13 years 11 months ago
Effectiveness for infinite variable words and the Dual Ramsey Theorem
We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
Joseph S. Miller, Reed Solomon
AML
2007
77views more  AML 2007»
13 years 11 months ago
Complex analysis in subsystems of second order arithmetic
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...
Keita Yokoyama