login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A300693 a(n) = number of edges in a concertina n-cube. 2
0, 1, 6, 42, 344, 3230, 34452 (list; graph; refs; listen; history; text; internal format)
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
FORMULA
a(n) = A300700(n, n-1).
CROSSREFS
Sequence in context: A265871 A132804 A232473 * A222062 A074017 A135887
KEYWORD
nonn,more
AUTHOR
Tilman Piesk, Apr 03 2018
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 18 22:56 EDT 2024. Contains 370952 sequences. (Running on oeis4.)