Completely hereditarily atomic OMLs
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914831981871104 |
|---|---|
| author | Harding, John Kornell, Andre |
| author_facet | Harding, John Kornell, Andre |
| contents | An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML that is algebraic and has the 2-covering property, and Keller's construction provides an example of such an OML that has the covering property and is completely hereditarily atomic. Completely hereditarily atomic OMLs generalize algebraic OMLs suitably to quantum predicate logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_08508 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Completely hereditarily atomic OMLs Harding, John Kornell, Andre Quantum Physics Mathematical Physics 06C15 (Primary) 03G12, 06B23, 06C15 (Secondary) An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML that is algebraic and has the 2-covering property, and Keller's construction provides an example of such an OML that has the covering property and is completely hereditarily atomic. Completely hereditarily atomic OMLs generalize algebraic OMLs suitably to quantum predicate logic. |
| title | Completely hereditarily atomic OMLs |
| topic | Quantum Physics Mathematical Physics 06C15 (Primary) 03G12, 06B23, 06C15 (Secondary) |
| url | https://arxiv.org/abs/2308.08508 |