 Pursuing this direction of research led Stone to ask about the structure of an arbitrary Boolean algebra, a question that he answered by proving that every Boolean algebra is isomorphic to a Boolean algebra of sets. In his work on Boolean algebras he noticed a certain analogy between kernels of homomorphisms and the ideals studied in ring theory—this led him to give the name “ideal” to such kernels. Not long after this he discovered a translation between Boolean algebras and Boolean rings; under this translation the ideals of a Boolean algebra corresponded precisely to the ideals of the associated Boolean ring. His next major contribution was to establish a correspondence between Boolean algebras and certain topological spaces now called Boolean spaces (or Stone spaces). This correspondence would later prove to be a valuable tool in the construction of exotic Boolean algebras. These results of Stone are still a paradigm for developments in the algebra of logic.