Universality: new criterion for non-existence

DOI10.1007/S40574-022-00327-7arXiv2108.06727MaRDI QIDQ6375282FDOQ6375282

Authors: S. Shelah 

Publication date: 15 August 2021

Abstract: We find new "reasons" for a class of models for not having a universal model in a cardinal $lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which is a simply defined class of models, of combinatorial character - models of $T_{mceq}$ (essentially another representation of $T_{mfeq}$ which was already considered but the proof with $T_{mceq}$ is more transparent). Models of $T_{mceq}$ consist essentially of an equivalence relation on one set and a family of choice functions for it. This class is not simple (in the model theoretic sense) but seems to be very low among the non-simple (first order complete countable) ones. We give sufficient conditions for the non-existence of a universal model for it in $lambda$. This work is continued in [Sh:F2071].

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Other combinatorial set theory (03E05) Set-theoretic model theory (03C55)

This page was built for publication: Universality: new criterion for non-existence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6375282)