??so this example of theory of dense unbounded linear orders arising as double negation theory seems to involve pun on all possible meanings of "dense" ... ??so did lawvere-tierney get terminology "dense" from classical double-negation case???

??what about double negation aspect of rado graph, and something about ... ??probabilistic aspect ... ????.....