search

felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT License
50 stars 5 forks source link

Notes for SAG-4 #20

Closed felixwellen closed 6 months ago

iblech commented 6 months ago

I feel honored by the proposal "Blechschmidt duality", but I fear that if the goal is to have a more contentful name then this would be a step in the wrong direction :-)

Just for fun, let me add a cryptic proposal: "Nullstellensatz."

mnieper commented 6 months ago

The classical Nullstellensatz seems to be more precise as it finds solutions in the algebraic closure, while our version leaves the ring in which a solution can be found open.