The three platonic models of divergence-strict CSP

In an earlier paper [13], the author proved that there were three models of CSP that play a special role amongst the ones based on finite observations: the traces , stable failures and stable revivals models are successively more refined, but all further models refine . In the present paper we prove...