Computability Theory Learning Seminar

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Computability-Theoretic Properties of Superatomic Boolean Algebras"

This will be a self-contained talk examining properties of superatomic Boolean algebras that are of interest to computable structure theorists. We will show that all superatomic Boolean algebras are isomorphic to the interval algebra of some ordinal. Using this result, we can give precise formulations of the back-and-forth relations between superatomic Boolean algebras and find their degrees of categoricity.

MC 5403