Back to Results
First PageMeta Content
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

Document Date: 2016-02-20 21:08:40


Open Document

File Size: 334,45 KB

Share Result on Facebook