Post #1894434
2026-04-28 13:35 UTC
@jdw Then please solve Conjecture 21.17 of my thesis, https://rawgit.quasicoherent.io/iblech/internal-methods/master/notes.pdf, thereby obtaining a description of the theory classified by the big ph Zariski topos :-)
Replies (1)
-
@jdw@mathstodon.xyz 2026-04-28 14:04
@iblech I can parse the statement of the conjecture, but it looks quite technical to me. Since you mention it in the context of elimination theory, can it be reformulated in the form »there is a constructive proof that the morphism of locales induced by some morphism of affine/projective schemes has closed/constructible/… image«? (I would propose to call a sublocale of Spec(R) constructible if it lies in the Boolean algebra generated by the complemented sublocales V(f) for f in R.)