Well, I’ve seen him go into quite some detail in comment threads about uncountable ordinals; it looks to me very much as though there is a position there that he’s taking (it’s fairly clear that it’s more than just a joke). OTOH, I haven’t seen an article by him setting out his position in a rigorous or articulated fashion, though if there is one I’d like to know about it.
Well, I’ve seen him go into quite some detail in comment threads about uncountable ordinals; it looks to me very much as though there is a position there that he’s taking (it’s fairly clear that it’s more than just a joke). OTOH, I haven’t seen an article by him setting out his position in a rigorous or articulated fashion, though if there is one I’d like to know about it.