The following pages link to (Q4365300):
Displaying 9 items.
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Construction of the Henselization of a valued field (Q1570369) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions (Q2351490) (← links)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
