On properties of theories which preclude the existence of universal models

by Dzamonja and Shelah. [DjSh:710]
Annals Pure and Applied Logic, 2006
In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal assumptions. Our results give a new syntactical condition, oak property, which is a sufficient condition for a theory not to have universal models in cardinality lambda when certain cardinal arithmetic assumptions implying the failure of GCH (and close to the failure of SCH) hold.


Back to the list of publications