While DSGE models remain the cornerstone of modern macroeconomics, the formal link between the economic theory of rational expectations and the computational practice of numerical solvers remains under-specified. Our paper addresses this operational gap by establishing an axiomatic framework—the $(S, T, \Pi)$ triad—that rigorously defines DSGE models as fixed-point selection devices. By explicitly connecting economic specifications to computational selection rules, our approach directly aligns with the Journal’s tradition of advancing rigorous methods in economic dynamics. We demonstrate that the standard Blanchard-Kahn determinacy conditions are properties of a specific selection operator, $\Pi_{BK}$, rather than existence theorems for the model itself. We provide a unified theory of solution methods, showing that linear QZ decomposition and the nonlinear OccBin algorithm are mathematically consistent implementations of the same underlying selection operation. Finally, we formalize equilibrium selection under indeterminacy as a distinct policy choice, defining how alternative selection operators can be rigorously deployed when standard stability conditions are insufficient.
Status: Preprint (submitted to Journal of Economic Dynamics and Control)
Code & Data: Julia implementation available at DsgeSelectionFramework.jl with permanent archival at Zenodo.