Changes between Initial Version and Version 1 of Ticket #22648, comment 4


Ignore:
Timestamp:
03/20/17 12:03:16 (5 years ago)
Author:
mantepse
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22648, comment 4

    initial v1  
    1 Some people (at least McConville https://arxiv.org/abs/1504.05213) use `congruence_uniform` instead of bounded, I think.
     1Some people (at least McConville https://arxiv.org/abs/1504.05213) use `congruence_uniform` instead of bounded, I think:
     2
     35.2 Congruence-normal and congruence-uniform lattices
     4
     5A finite lattice L is congruence-normal if there exists a
     6sequence of lattices L_1,..., L_l such that L_1 is the one-element lattice, L_l = L, and for
     7all i, there exists an order convex subset C_i of L_i such that L_{i+1} = L_i[Ci].
     8
     9A lattice is congruence-uniform if it is both congruence-normal and semidistributive.