A structure theory for denumerable Boolean algebras is presented. The isomorphism types of countable Boolean algebras are completely characterized in terms of certain naturally defined invariants. As ...