7 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Santiago Cárdenas-Martín, Rafel Farré
We introduce a new foundation rank based in the relation of dividing between partial types. We call DU to this rank. We also introduce a new way to define the D rank over formulas…