The following pages link to (Q3172122):
Displaying 6 items.
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
- On the theory of the real exponential field (Q1112014) (← links)
- ON THE THEORY OF EXPONENTIAL FIELDS (Q3312207) (← links)
- ON EXPANSIONS OF REAL NUMBERS INTO INVERSE FACTORIALS AND FIELDS INDUCED BY RELATED METRICS (Q3459841) (← links)
- Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) (← links)
- (Q5450322) (← links)