On variants of Conway and Conolly's Meta-Fibonacci recursions
We study the recursions A(n)=A(n−a−Ak(n−b))+A(Ak(n−b)) where a≥0, b≥1 are integers and the superscript k denotes a k-fold composition, and also the recursion C(n)=C(n−s−C(n−1))+C(n−s−2−C(n−3)) where s≥0 is an integer. We prove that under suitable initial conditions the sequences A(n) and C(n) will be defined for all positive integers, and be monotonic with their forward difference sequences consisting only of 0 and 1. We also show that the sequence generated by the recursion for A(n) with parameters (k,a,b)=(k,0,1), and initial conditions A(1)=A(2)=1, satisfies A(En)=En−1 where En is defined by En=En−1+En−k with En=1 for 1≤n≤k.