![Logic in computer science / Differential forms / Combinatory logic / Lambda calculus / Peano axioms / Closed and exact differential forms / Banach fixed-point theorem / Peetre theorem Logic in computer science / Differential forms / Combinatory logic / Lambda calculus / Peano axioms / Closed and exact differential forms / Banach fixed-point theorem / Peetre theorem](https://www.pdfsearch.io/img/4a1f5138e20b7a0982305a305ee3bbec.jpg) 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
|