Formal definition of numbers with real exponents
33877
What does $2^x$ really mean when $x$ is not an integer?
78294
How does one denote the set of  all positive real numbers?
20187
What's the meaning of the exponent here?
126202
Analysis Question Involving Real Numbers
95033
Find the remainder of a number with a large exponent
46144
Understanding imaginary exponents
118314
How to define $x^a$ for arbitrary real numbers $x$ and $a$
1396
cardinality of all real sequences
90564
How can I convert a complex number into an exponent form
138279
Multiplicative order and powers
98163
Question regarding exponentiation of cardinal numbers
68976
Given real numbers: define integers?
114043
Prove the existence of a real number satisfying a property
20696
How to check if an expression is a real-valued number
79349
The Aleph numbers and infinity in calculus.
21923
Prove that $\exp(x)>0$ using only formal definition of exp
88887
Using the properties of real numbers, verify commutativity on complex numbers.