2017.12.22

BCnrd
>I was therefore very surprised
when I heard recently (incorrectly,
as it turns out) that the IUT papers
had been accepted, since the public version of IUT3 still did not have a
revision to the proof of 3.12 that cleared up the matter (as I immediately confirmed with several who have invested a lot of time on the IUT papers)

>>8