Pages that link to "Item:Q3066804"
From MaRDI portal
The following pages link to Uniform model-completeness for the real field expanded by power functions (Q3066804):
Displaying 4 items.
- The set of restricted complex exponents for expansions of the reals (Q435236) (← links)
- The first-order theory of raising to an infinite power (Q3078332) (← links)
- A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions (Q3755429) (← links)
- Model Completeness for the Real Field with the Weierstrass ℘ Function (Q5228175) (← links)