Douglas_Knight comments on Open Thread, May 5 − 11, 2014

[Douglas_Knight]

Incarnations of UDT sufficient for this problem have been made completely formal.

[[deleted]]

Ummm.… link please?