THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. No natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA0 ) and Ramsey’s theorem f

First Page		Document Content
Date: 2015-12-11 11:48:38 Large numbers Mathematical notation Probability theory Differential forms Symbol		THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. No natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA0 ) and Ramsey’s theorem f Add to Reading List Source URL: ludovicpatey.com Download Document from Source Website File Size: 347,47 KB Share Document on Facebook