??so what about double negation topology on commutative ring classifier ?? ... ????.... ??hmm, perhaps trivial (??os??) because of exponent having terminal object ?? ??or something ?? ... ??hmmm, so what about sa old-fashioned custom of defining commutative ring to be non-empty ??? ... ??or something ...

??so what about something about ???random total order on natural numbers being dense and bi-unbounded ?? ... or something ... ??analogous to erdos-renyi or something???...

??what about "continuous geometry" here ?? ... or something ... long-shot ...

??so what about double-negation topology of presheaf topos on _filtered_ (or something ... ??...) site ?? ... and so forth ... ??... ??as "atomic", or something??

??what about ... ??something todd mentioned ... classical models of presheaf topos as forming free filtered colimit completion of exponent, or something?? ... ??relationship to ... ??diaconescu's theorem ... and gabriel-ulmer duality, and so forth ... ???....

what about stuff that lawvere says about ... ??non-standard analysis vs forcing ...
??something about set vs poset .... ???.... ??something about bit about "...as cohen showed... destroyed by passage ... even though "elementary" in technical sense ..." ... ???... ??also something about using forcing to show independence (or something...) of axiom of constructibility as involving poset of forcing conditions given by "basic open sets in cantor space", while for continuum hypothesis it's "basic open sets of a big generalized cantor space" ... ??or something ... (??something about site category and basis (??and/or sub-basis ??...) ...something abotu scott and solovay ... ??... measurable functions modulo sets of measure zero (or something...) ... ???....

???hmm, so what _about_ something about ?? ... poset of forcing conditions ...??maybe filtered, or something??? .... or what .... ???... and so forth ... ??...