Boolean algebras in a localic topos (Q5905376)

The aim of this paper is to study certain properties of the (externally defined) locale of filters of a distributive lattice \(D\) or of a Boolean algebra \(B\), in a localic topos \(Sh(L)\), in terms of corresponding properties of \(L\). Among the properties considered are spatiality, Hausdorffness, coherentness and maximality of prime filters. It is shown that the validity of these properties for the locale of filters depend closely on their validity for the locale \(L\). These results are then applied in order to prove a version of the Stone embedding theorem in a spatial topos [cf. also \textit{B. Banaschewski} and \textit{K. R. Bhutani}, Math. Proc. Camb. Philos. Soc. 100, 43-55 (1986; Zbl 0598.18001)]. The paper being reviewed presupposes some background knowledge of localic toposes which is amply covered by the monograph by \textit{F. Borceux} and \textit{G. van den Bossche} [Algebra in a localic topos with applications to ring theory (Lect. Notes Math. 1038) (1983; Zbl 0522.18001)].