3

Infinite Saturated Orders

Year:
2011
Language:
english
File:
PDF, 306 KB
english, 2011
4

STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES

Year:
2016
Language:
english
File:
PDF, 358 KB
english, 2016
6

Coloring trees in reverse mathematics

Year:
2017
Language:
english
File:
PDF, 432 KB
english, 2017
8

The polarized Ramsey’s theorem

Year:
2009
Language:
english
File:
PDF, 297 KB
english, 2009
10

Reverse mathematics and properties of finite character

Year:
2012
Language:
english
File:
PDF, 234 KB
english, 2012
11

Sorites Without Vagueness II: Comparative Sorites

Year:
2010
Language:
english
File:
PDF, 672 KB
english, 2010
12

Sorites Without Vagueness I: Classificatory Sorites

Year:
2010
Language:
english
File:
PDF, 359 KB
english, 2010
13

On the strength of the finite intersection principle

Year:
2013
Language:
english
File:
PDF, 197 KB
english, 2013
14

Generics for computable Mathias forcing

Year:
2014
Language:
english
File:
PDF, 558 KB
english, 2014
16

Cohesive avoidance and strong reductions

Year:
2014
Language:
english
File:
PDF, 190 KB
english, 2014
17

Ramsey's theorem and cone avoidance

Year:
2009
Language:
english
File:
PDF, 1.60 MB
english, 2009
18

Ramsey's Theorem and Cone Avoidance

Year:
2009
Language:
english
File:
PDF, 1.97 MB
english, 2009
19

Stable Ramsey's Theorem and Measure

Year:
2011
Language:
english
File:
PDF, 335 KB
english, 2011
20

The uniform content of partial and linear orders

Year:
2017
Language:
english
File:
PDF, 950 KB
english, 2017
23

A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES

Year:
2018
Language:
english
File:
PDF, 107 KB
english, 2018
24

Notions of robust information coding

Year:
2017
Language:
english
File:
PDF, 206 KB
english, 2017
29

COH, SRT 2 2 , and multiple functionals

Year:
2020
File:
PDF, 200 KB
2020