Countably-categorical Boolean rings with distinguished ideals
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918123156799488 |
|---|---|
| author | Apps, Andrew |
| author_facet | Apps, Andrew |
| contents | We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) 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, we take a topological approach using the language of PO systems (partially ordered sets with a distinguished subset) and topological Boolean algebras. We provide two different classifications via invariants that uniquely determine the isomorphism type: one using finite PO systems and the other using finite posets. We discuss how our findings link with previous results, but the paper is otherwise self-contained. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2112_13825 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Countably-categorical Boolean rings with distinguished ideals Apps, Andrew Logic General Topology Rings and Algebras 06E15, 03C35, 06E25 (Primary) 06A06 (Secondary) We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) 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, we take a topological approach using the language of PO systems (partially ordered sets with a distinguished subset) and topological Boolean algebras. We provide two different classifications via invariants that uniquely determine the isomorphism type: one using finite PO systems and the other using finite posets. We discuss how our findings link with previous results, but the paper is otherwise self-contained. |
| title | Countably-categorical Boolean rings with distinguished ideals |
| topic | Logic General Topology Rings and Algebras 06E15, 03C35, 06E25 (Primary) 06A06 (Secondary) |
| url | https://arxiv.org/abs/2112.13825 |