Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper analyzes families of integer sequences generated by Gödel implication, focusing on the sequences themselves rather than their combinatorial generation mechanism. It introduces $g_{j,n}^{(m)}$ as counts of specific outputs aggregated over bracketings and valuations, and defines root-pair refinements $N_{i,j}^{(m)}(n)$ whose generating functions $G_i^{(m)}(x)G_j^{(m)}(x)$ uniquely identify unordered root-value pairs. The study catalogues these sequences for $m=4$ to $10$, identifying $\binom{m+1}{2}$ distinct root-pair generating functions per $m$, and provides reproducible data for 259 indexed sequence families.
The structure of Gödel implication chains generates a finite, predictable number of distinct integer sequence families, each uniquely identifiable by its root-pair generating function's initial coefficients.
A finite Gödel chain generates not one integer sequence but a large family of them. The combinatorial mechanism is developed in a companion paper; here the sequences themselves are the primary objects. For $V_m=\{v_0<\cdots<v_{m-1}\}$, let $g_{j,n}^{(m)}$ count outputs equal to $v_j$, aggregated over all full bracketings on $n$ variables and all $m^n$ valuations. The root-pair refinement produces $N_{i,j}^{(m)}(n)=\sum_{r=1}^{n-1}g_{i,r}^{(m)}g_{j,n-r}^{(m)}$, with generating functions $N_{i,j}^{(m)}(x)=G_i^{(m)}(x)G_j^{(m)}(x)$. We prove that the initial coefficients of these products uniquely identify the unordered root-value pair. Consequently, for each fixed $m$, there are exactly $\binom{m+1}{2}$ distinct root-pair generating functions. We catalogue the factories for $m=4,5,\ldots,10$, giving the first ten terms of every base sequence and every symmetric root-pair sequence. This range contains 49 base sequences and 210 symmetric pair classes, yielding 259 indexed sequence families before additional aggregates. The catalogue provides reproducible data for integer-sequence analysis and comparison with the On-Line Encyclopedia of Integer Sequences (OEIS).