Pages that link to "Item:Q3986779"
From MaRDI portal
The following pages link to Elementary constructive theory of ordered fields (Q3986779):
Displaying 8 items.
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma (Q1176709) (← links)
- Dynamic evaluation and real closure. (Q1565836) (← links)
- (Q3358841) (← links)
- Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace (Q4351924) (← links)
- (Q4552743) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)