This article continues the study of the definability in the local substructure $\mathcal{G}_{T,\omega}$ of the ω-Turing degrees, initiated in (Sariev and Ganchev 2014). We show that the class I of the intermediate degrees is definable in $\mathcal{G}_{T,\omega}$.

The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or from an already given channel (in opposite direction). These notions exist in the literature, in concrete situations, but are presented here in abstract graphical formulations. The resulting abstract descriptions are used for proving basic results in conditional probability theory. The existence of disintegration and Bayesian inversion is discussed for discrete probability, and also for measure-theoretic probability – via standard Borel spaces and via likelihoods. Finally, the usefulness of disintegration and Bayesian inversion is illustrated in several examples.

A C*-algebra is determined to a great extent by the partial order of its commutative C*-subalgebras. We study order-theoretic properties of this directed-complete partially ordered (dcpo). Many properties coincide: the dcpo is, equivalently, algebraic, continuous, meet-continuous, atomistic, quasi-algebraic or quasi-continuous, if and only if the C*-algebra is scattered. For C*-algebras with enough projections, these properties are equivalent to finite-dimensionality. Approximately finite-dimensional elements of the dcpo correspond to Boolean subalgebras of the projections of the C*-algebra. Scattered C*-algebras are finitedimensional if and only if their dcpo is Lawson-scattered. General C*-algebras are finite-dimensional if and only if their dcpo is order-scattered.