The following pages link to (Q4681541):
Displaying 7 items.
- De D. Hilbert à E. Artin: Les différents aspects du dix-septième problème et les filiations conceptuelles de la théorie des corps réels clos (Q792984) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- An \(\ell\)-algebra approach to Artin's solution of Hilbert's seventeenth problem (Q1959932) (← links)
- Making the use of maximal ideals constructive (Q2476020) (← links)
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
