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

[orthonormal]

You mean Q instead of P, right? (Edit: Fixed.)

[Vladimir_Nesov]

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