Every Borel automorphism without finite invariant measures admits a two-set generator (Q1757303)

The main result of this paper is the following: \par Theorem. Every Borel system without invariant probability measures admits a two-set generator. \par This answers a question by \textit{B. Weiss} [Contemp. Math. 94, 321--326 (1989; Zbl 0754.28013)]. \par The theorem is proven by treating three types of points separately and proving existence of a set generator for each of them. \par \par The above statement, together with the author's results from 2013 [the author, Acta Appl. Math. 126, No. 1, 187--201 (2013; Zbl 1339.37007)], leads to the following \par Corollary. If $h>0$, then, up to a Borel isomorphism, there is a unique homeomorphism $T$ of a Polish space satisfying: a) $T$ acts freely, b) every $T$-invariant probability measure has entropy $\leq h$, and equality occurs for a unique measure which is Bernoulli, c) $T$ admits embedded mixing SFTs of topological entropy arbitrarily close to $h$. \par 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 possible classes are: mixing positively recurrent countable-state shifts of finite type, mixing sofic shifts, Axiom A diffeomorphisms, intrinsically ergodic mixing shifts of quasi-finite type. \par The paper concludes with a measureless version of the Krieger generator theorem for sequences over a countable alphabet which, in certain aspect, have finite entropy.