We prove that every topological dynamical system (X,T) has a faithful zero-dimensional principal extension, i.e. a zero-dimensional extension (Y,S) such that for every S-invariant measure ν on Y the conditional entropy h(ν | X) is zero, and, in addition, every invariant measure on X has exactly one preimage on Y. This is a strengthening of the authors' result in Acta Appl. Math. [to appear] (where the extension was principal, but not necessarily faithful).

We consider a pair of topological dynamical systems on compact Hausdorff (not necessarily metrizable) spaces, one being a factor of the other. Measure-theoretic and topological notions of fiber entropy and conditional entropy are defined and studied. Abramov and Rokhlin's definition of fiber entropy is extended, using disintegration. We prove three variational principles of conditional nature, partly generalizing some results known before in metric spaces: (1) the topological conditional entropy...

It is not known if every finitary factor of a Bernoulli scheme is finitarily isomorphic to a Bernoulli scheme (is finitarily Bernoulli). In this paper, for any Bernoulli scheme X, we define a metric on the finitary factor maps from X. We show that for any finitary map f: X → Y, there exists a sequence of finitary maps fₙ: X → Y(n) that converges to f, where each Y(n) is finitarily Bernoulli. Thus, the maps to finitarily Bernoulli factors are dense. Let (X(n)) be a sequence of Bernoulli schemes such...