通过Bruns-Lakser塔衡量分配的程度
逻辑
2025-03-26 v2
摘要
我们利用Bruns-Lakser完备化引入了meet半格的Bruns-Lakser塔。这种机制使我们能够在有界分配格中发展出各种层次，这些层次衡量有界分配格及其Dedekind-MacNeille完备化的分配程度。我们还使用Priestley二元性来获得所得层次的双重表征。 Among other things, this yields a natural generalization of Esakia's representation of Heyting lattices to proHeyting lattices.
引用
@article{arxiv.2409.04894,
title = {Degrees of join-distributivity via Bruns-Lakser towers},
author = {G. Bezhanishvili and F. Dashiell and M. A. Moshier and J. Walters-Wayland},
journal= {arXiv preprint arXiv:2409.04894},
year = {2025}
}