Abstract
We investigate the Priestley dual (E∗)⋆ of the lattice E∗ of r.e. sets modulo finite sets. Connections with non-standard elements of r.e. sets in models of 1st order true arithmetic as well as with dynamic properties of r.e. sets are pointed out. Illustrations include the Harrington–Soare dynamic characterization of small
... read more