Post #1894437

@jdw Right now just a quick note: There are some notes on a constructive treatment of the main theorem of elimination theory in the context of synthetic algebraic geometry; I suggest that you write to Felix Cherubini and Marc Nieper-Wißkirchen, with me in Cc, to obtain their most recent version / the current thoughts of these two persons to avoid duplicate work :-) (note that working synthetically, they don't have a need for a localic approach)