The following pages link to Space of valuations (Q1006605):
Displaying 6 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- The basic Zariski topology (Q887823) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
