On properties of theories which preclude the existence of universal models
Logic
2007-05-23 v1
Abstract
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.
Cite
@article{arxiv.math/0009078,
title = {On properties of theories which preclude the existence of universal models},
author = {Mirna Džamonja and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0009078},
year = {2007}
}