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 th

First Page		Document Content
Date: 2016-02-20 21:08:40 Logic 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 th Add to Reading List Source URL: www.math.tohoku.ac.jp Download Document from Source Website File Size: 334,45 KB Share Document on Facebook