ABSTRACTWe explore the nature of the solution space for the Golomb nested recursion . On this solution space, we define a natural equivalence relation and restrict our attention to non-equivalent solutions. We describe and prove an algorithm that determines whether a given set of initial conditions generates a solution. Up to equivalence, there is a unique solution whose forward differences are eventually either 0 or 1, namely, the Golomb sequence , generated by the initial condition . This sequence is asymptotic to ; we conjecture that this is true of every solution. We further conjecture that each solution has what we call a generational structure that abstracts combinatorial properties of . It appears that for any given solution, its generations are composed of only a finite number of building blocks.