On properties of theories which preclude the existence of universal models
Džamonja, Mirna · Shelah, Saharon
Original · EN
In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic 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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.