Pages that link to "Item:Q949619"
From MaRDI portal
The following pages link to The Zariski spectrum as a formal geometry (Q949619):
Displayed 5 items.
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- The basic Zariski topology (Q887823) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)