生成给定大小的所有有限模格

模格由 R. Dedekind 引入，是格的一个重要子簇，包含所有分配格。Heitzig 和 Reinhold 开发了一种算法，用于在同构意义下枚举大小不超过 18 的所有有限格。在此，我们调整并改进了该算法，以构造和计数大小不超过 24 的模格、大小不超过 22 的半模格以及大小为 19 的格。我们还证明了 $2^{n-3}$ 是大小为 $n$ 的非同构模格数量的一个下界。