User blog comment:Edwin Shade/Turing Machines and a Problem by Vel! Posed Half a Decade Ago/@comment-1605058-20171010173654/@comment-80.98.179.160-20180120193848

But is the CH independent of Tarski-Grothendieck set theory?