We show that if an automorphism of a standard Borel space does not admit finite invariant measures, then it has a two-set generator. This implies that if the entropies of invariant probability measures of a Borel system are all less than log k, then the system admits a k-set generator, and that a wide class of hyperbolic-like systems are classified completely at the Borel level by entropy and periodic points counts.[20], when the entropies of two such systems are equal, their entropy-maximizing measures are isomorphic. In many special cases, e.g. for mixing shifts of finite type, this isomorphism can be made continuous on a set of full measure, as in the finitary isomorphism theory of Keane and Smorodinsky [15], and even extended farther "down" to some of the "low-entropy" part of the phase, as is the almost-conjugacy theorem of Adler and Marcus [1].More recently Buzzi introduced the notion of entropy conjugacy [6], whereby in the problem above one replaces continuity by measurability in the hope of extending the isomorphism results to a larger class of systems [4,6]. One also hopes to extend the isomorphisms farther into the low-entropy part of the systems, ideally to all of the "free part" of the system, that is, to the complement of the periodic points. 5 This possibility was raised in [10], where it was partly achieved for a large family of systems on sets supporting all non-atomic invariant probability measures (but not all conservative ones). See also [7]. Isomorphisms between the entire free parts of equal-entropy strongly positively recurrent Markov shifts were constructed recently by Boyle, Buzzi and Gómez [5], using the special presentations of such subshifts. Using the arguments from [10] together with Theorem 1.1 one can give a quite general result in this direction. Corollary 1.3. Let h > 0. Then, up to Borel isomorphism, there is a unique homeomorphism T of a Polish space satisfying the following properties: (a) T acts freely, (b) every T -invariant probability measure has entropy ≤ h, and equality occurs for a unique measure which is Bernoulli, (c) T admits embedded mixing SFTs of topological entropy arbitrarily close to h.In particular, if two systems from the classes listed below have the same topological entropy, then they are isomorphic, as Borel systems, on the complements of their periodic points. The classes are: Mixing positively-recurrent countablestate shifts of finite type, mixing sofic shifts, Axiom A diffeomorphisms, intrinsically ergodic mixing shifts of quasi-finite type.It remains an open problem whether, on the complement of the periodic points, the isomorphism can be made continuous in any non-trivial cases, e.g. between equal-entropy mixing shifts of finite type which are not topologically conjugate [10, Problem 1.9].