This paper uses lattice programming methods along with the extension of Tarski's fixed point theorem due to Veinott (1992) and Zhou (1994) to establish sufficient conditions for existence of sequential symmetric Markov equilibrium in a large class of dynamic games. Our method is constructive and...

We prove the existence of a minimal state space recursive equilibrium (RE) for a broad class of infinite horizon dynamic general equilibrium models with positive externalities, dynamic complementarities, public policy, equilibrium indeterminacy and sunspots. These are new "multistep" monotone...