The following pages link to (Q4676803):
Displaying 5 items.
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
- Every real closed field has an integer part (Q3138018) (← links)
- A characterization of nonstandard real fields (Q4056114) (← links)
- (Q4906851) (← links)
- Real elements in T<sub><i>n</i></sub>(<i>K</i>) (Q5300053) (← links)