Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Countably-categorical Boolean rings with distinguished ideals
(Submitted on 27 Dec 2021 (v1), last revised 6 Oct 2023 (this version, v3))
Abstract: 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.
Submission history
From: Andrew Apps [view email][v1] Mon, 27 Dec 2021 18:31:02 GMT (29kb)
[v2] Sat, 21 May 2022 11:02:55 GMT (28kb)
[v3] Fri, 6 Oct 2023 17:13:57 GMT (19kb)
Link back to: arXiv, form interface, contact.