The following pages link to (Q3358841):
Displaying 17 items.
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- Restriction map of spaces of orderings of fields (Q1087922) (← links)
- Some new results on ordered fields (Q1090367) (← links)
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- The behavior of chains of orderings under field extensions and places (Q1104986) (← links)
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma (Q1176709) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Construction of the Henselization of a valued field (Q1570369) (← links)
- Towards faster real algebraic numbers (Q1878487) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- ALGEBRAIC CLOSURE WITHOUT CHOICE (Q3363461) (← links)
- Plongement dense d'un corps ordonné dans sa clôture réelle (Q3985094) (← links)
- Elementary constructive theory of ordered fields (Q3986779) (← links)
- (Q4552743) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- (Q4714216) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)