A271077 Number of pseudocomplemented lattices on n nodes.

1, 1, 1, 1, 2, 4, 10, 29, 99, 391, 1775, 9214

Offset

0,5

Links

Table of n, a(n) for n=0..11.

R. Belohlavek, V. Vychodil, Residuated lattices of size <=12, Order 27 (2010) 147-161 doi:10.1007/s11083-010-9143-7, Table 6.

Wikipedia, pseudocomplement.

Prog

(SageMath)
for i in range(0, 12):
    n = 0
    for P in Posets(i):
        if P.is_lattice():
            L = LatticePoset(P)
            if L.is_pseudocomplemented():
                n += 1
    print(n)

Crossrefs

Cf. A006966.

Sequence in context: A279552 A261041 A047051 * A365903 A126349 A076315

Adjacent sequences: A271074 A271075 A271076 * A271078 A271079 A271080

Keyword

nonn,hard,more

Author

Jori Mäntysalo, Mar 30 2016

Status

approved