I have been trying to rigorously define real exponentiation. Online there doesn't seem to be ANY definition of real exponentiation that covers every case of base and exponent.
In school and on non-analytical media and textbooks, exponents are never defined past integers. $2^\frac{1}{2}$ will 100% always be introduced as $\sqrt{2}$ although the $n$th root function is never defined outside perfect squares etc.
In most real analysis media, there is the definition $b^n=e^{n\ln(b)}$, or in a non-circular notation, $b^n=\exp(n\ln(b)$. This is great but it doesn't handle bases $b\leq 0$.
In this post with the same name I tried, and failed to construct exponentiation over $\mathbb{R}$. This is my latest attempt. I want to know if it is flawed, and if so can you correct me.
$$b^n=\begin{cases}\exp(x\ln(b)) & 0<b\\0 & b=0\land n\neq 0\\1 & b=0\land n=0\\\exp(x\ln(-b)) & b<0\land E(n)\\-\exp(x\ln(-b)) & b<0\land O(n)\\\text{undefined} & b<0\land \neg E(n)\land\neg O(n)\\\end{cases}$$
Where $E(n)$ means $n$ is a rational number with an even numerator and an odd denominator:
$$E(n)\iff\exists m,k\in\mathbb{Z}(n=\frac{2m}{2k+1})$$
And $O(n)$ means $n$ is a rational number with an odd numerator and an odd denominator:
$$O(n)\iff\exists m,k\in\mathbb{Z}(n=\frac{2m+1}{2k+1})$$
The first case is the usual construction $b^n=e^{x\ln(b)}$, defining positive bases.
The second and third cases handle $0$ and are as controversial as zero itself.
Difficulty: Negative Bases
The third case covers expressions like $(-3)^2$ because $2=\frac{2(1)}{2(0)+1}$, as well as $(-27)^\frac{2}{3}$. This case breaks down to:
$$b^n=\exp(x\ln(-b))=(-b)^n$$
So, for example: $$(-3)^2=\exp(2\ln(--3))=\exp(2\ln(3))=3^2$$
Certain "even" rational exponents are also covered here.
$$(-27)^\frac{2}{3}=27^\frac{2}{3}=9$$
The fourth case preserves the sign of the base and covers numbers with "odd" rational exponents, like $(-27)^\frac{1}{3}$
$$(-27)^\frac{1}{3}=-\exp(\frac{1}{3}\ln(--27))=-\exp(\frac{1}{3}\ln(27))=-(27^\frac{1}{3})=-3$$
The fifth case is the reason for complex numbers.
Again, I want to know if my reasoning is flawed and if it is can you correct the mistake?