Vladimir_Nesov comments on An example of self-fulfilling spurious proofs in UDT

[Vladimir_Nesov]

Right, cousin_it changed some terminology from the post on the list, I didn’t notice. (Fixed.)