<--- Back to Details
First PageDocument Content
Mathematics / Mathematical analysis / Logic in computer science / Differential forms / Combinatory logic / Lambda calculus / Peano axioms / Closed and exact differential forms / Differential forms on a Riemann surface / Banach fixed-point theorem
Date: 2015-08-07 15:59:27
Mathematics
Mathematical analysis
Logic in computer science
Differential forms
Combinatory logic
Lambda calculus
Peano axioms
Closed and exact differential forms
Differential forms on a Riemann surface
Banach fixed-point 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: ludovicpatey.com

Download Document from Source Website

File Size: 336,16 KB

Share Document on Facebook

Similar Documents

A Non-Holonomic Systems Approach to Special Function Identities

A Non-Holonomic Systems Approach to Special Function Identities

DocID: 1rttZ - View Document

Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK  September 23, 2015

Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK September 23, 2015

DocID: 1rrmV - View Document

On-Line Appendix for Structural Transformation, the Mismeasurement of Productivity Growth, and the Cost Disease of Services Alwyn Young March 2014

On-Line Appendix for Structural Transformation, the Mismeasurement of Productivity Growth, and the Cost Disease of Services Alwyn Young March 2014

DocID: 1rqAu - View Document

ON Lp BOUNDS FOR KAKEYA MAXIMAL FUNCTIONS AND THE MINKOWSKI DIMENSION IN R2 U. KEICH Abstract. We prove that the bound on the Lp norms of the Kakeya type maximal functions studied by Cordoba [2], and by

ON Lp BOUNDS FOR KAKEYA MAXIMAL FUNCTIONS AND THE MINKOWSKI DIMENSION IN R2 U. KEICH Abstract. We prove that the bound on the Lp norms of the Kakeya type maximal functions studied by Cordoba [2], and by

DocID: 1rpJG - View Document

Quantum Cluster Methods (CPT/CDMFT)

Quantum Cluster Methods (CPT/CDMFT)

DocID: 1roUn - View Document