Pages that link to "Item:Q949619"

The following pages link to The Zariski spectrum as a formal geometry (Q949619):

Displaying 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)