A standard approach in economic theory is to use a formal language to prove results about an economy or a game. In this paper, model theory is used to examine interpretations of such results. The particular focus is on constructive theorems, since results established by constructive methods are...