7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
Alberto Marcone
We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also cons…