  We describe and classify countable Boolean rings with finitely many
distinguished ideals whose elementary theory is countably categorical. This
extends the description by Macintyre and Rosenstein and subsequent authors of
countably categorical Boolean algebras with finitely many distinguished ideals.
Following Pierce, our classification takes a topological approach using the
language of PO systems (partially ordered sets with a distinguished subset) and
topological Boolean algebras. We discuss how our findings link with previous
results, but the paper is otherwise self-contained.
