2 papers
math.CO2026
Polynomial Identities for Generalized Fibonacci Sequences
Joey Glampe, Aryaman Joshi, Swagat Malla +2
The Fibonacci, Lucas, and Pell sequences satisfy certain families of ``polynomial'' identities. While a few members of these families are well-known, we are not able to find a gene…
math.LO2017
On the Uniqueness Problem for Notations of Recursive Ordinals
Matthew Timothy Wright
In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and…