Embedded finite models, stability theory, and the impact of order | IEEE Conference Publication | IEEE Xplore