Pages that link to "Item:Q1382184"
From MaRDI portal
The following pages link to Constructive rereading of Artin-Schreier theory (Q1382184):
Displaying 11 items.
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← 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)
- 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)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
- Hidden constructions in abstract algebra. I: Integral dependance. (Q5957771) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)
