Pages that link to "Item:Q1840477"
From MaRDI portal
The following pages link to Valuations and Dedekind's Prague theorem (Q1840477):
Displayed 17 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Seminormality and polynomial rings (Q734757) (← links)
- The basic Zariski topology (Q887823) (← links)
- An algorithm for the Traverso-Swan theorem on seminormal rings (Q948720) (← links)
- Space of valuations (Q1006605) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A syntactical proof of the Marriage Lemma. (Q1853584) (← 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)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- (Q4553278) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- On seminormality (Q5898271) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
- Hidden constructions in abstract algebra. I: Integral dependance. (Q5957771) (← links)