activity
20122022
most citedAn Effective Classification of Borel Wadge Classes

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2013 · math.LOShow all

1 paper · 2 filters

math.LO2013

Density, forcing, and the covering problem

Adam R. Day, Joseph S. Miller

We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes e…