Given two real, nonzero algebraic numbers a and b, with a > 0 (so that it excludes complex numbers), is there any named subset of the reals S such that (a^b) belongs to S forall a,b? I know it’s not all the reals since there should be countably many a^b’s, since a,b are also countable.
Who says a and b are countable
https://en.m.wikipedia.org/wiki/Algebraic_number
They’re given as algebraic, which are countably infinite since they can be mapped 1-to-1 with integers.
ℕ
I see. I missed that word in the question, and I didn’t remember that definition anyway.