Golubitsky and Schaeffer have developed an extensive theory of imperfect bifurcation by adapting the determinacy and unfolding theorems of singularity/catastrophe theory to singularities with a distinguished parameter $\lambda $. In this paper we adapt their methods and results to “sequential bifurcations” of the form $a(u,\lambda ) = 0$, $b(x,u,\lambda ) = 0$. Here $\lambda $ is a bifurcation parameter, x represents the final “output” state of the system, and u is interpreted as a “hidden” variable. Such problems arise when a bifurcating process in $(u,\lambda )$ is coupled in sequence with a u-dependent bifurcation process in $(x,\lambda )$. Assuming that the first process is independent of x, it is inappropriate to treat the coupled system as a simple bifurcation of $(x,u)$ with $\lambda $. Instead, it is necessary to develop a version of the theory which preserves the special “intermediate” role of u—much as the Golubitsky–Schaeffer theory preserves the special role of $\lambda $. Such a theory is developed here. As well as finding determinacy and unfolding criteria, we classify all sequential bifurcation problems of codimension 4 or less when x and u are one-dimensional. We exhibit the possible bifurcation diagrams for codimension 2 or less (those of higher codimension are omitted for reasons of space) and give analytic conditions for the occurrence of a given bifurcation in the classification. We discuss applications of these ideas to suitable systems of chemical reactions. The presence of “hidden” or intermediate variables u has a strong effect on the expected bifurcation phenomenology, and hence on the inferences that may be made from theoretical results: (a) Multiple limit points can occur in a persistent (structurally stable) fashion. (b) Eliminating a hidden variable can change the codimension of a bifurcation problem (because some perturbations of the resulting problem, that contribute to the codimension, may be incompatible with the elimination step). (c) Bifurcation diagrams that are ordinarily considered inequivalent may become equivalent if a hidden variable is present. The effect of (a) is to introduce new types of persistent diagram. The likelihood of seeing a given diagram in a parametrized family of bifurcation problems is affected by (b). And (c) implies that different ways of eliminating hidden variables from equations may produce apparently different observable consequences.