Pages that link to "Item:Q3107362"
From MaRDI portal
The following pages link to On the decidability of the real field with a generic power function (Q3107362):
Displaying 5 items.
- Independence in computable algebra (Q497725) (← links)
- A closure operator respecting the modular \(j\)-function (Q2698426) (← links)
- Logarithmic-Exponential Power Series (Q4399225) (← links)
- (Q4583885) (← links)
- COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS (Q5738194) (← links)