Post #1888496
2026-04-28 12:34 UTC
New goal: Learn elimination theory
Replies (1)
-
@iblech@mathstodon.xyz 2026-04-28 13:35
@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 :-)