Add Q^ω, as a better distinguishment of Erdős space (#1144)

Add Q^ω, as a better distinguishment of Erdős space (#1144) #3991