Date: 2016-02-20 21:08:40Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Banach fixed-point theorem Peetre theorem | | COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In thAdd to Reading ListSource URL: www.math.tohoku.ac.jpDownload Document from Source Website File Size: 334,45 KBShare Document on Facebook
|