The following pages link to (Q5437178):
Displayed 7 items.
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- The basic Zariski topology (Q887823) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- On the representation of measures over bounded lattices (Q2238025) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- Spectra as universal objects in categories of supports (Q5128734) (← links)