OFFSET
0,3
COMMENTS
n-place formulas in first-order logic like Ax Ey P(x, y) can be ordered by implication. This Hasse diagram has A000629(n) vertices and a(n) edges.
This is the second diagonal on the right in A300700, the triangle of faces in the concertina n-cube.
The corresponding sequence for cocoon concertina n-cubes, which have more internal vertices and edges, is A300694.
LINKS
Tilman Piesk, Formulas in predicate logic (Wikiversity)
Tilman Piesk, Image of a concertina square with 6 and cube with 42 edges
Tilman Piesk, Lists of edges for n=2..5
Tilman Piesk, Python code used to generate the sequence
FORMULA
a(n) = A300700(n, n-1).
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Tilman Piesk, Apr 03 2018
STATUS
approved