103 citations · 140 across the 22 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Omitting types in logic of metric structures
Ilijas Farah, Menachem Magidor
This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a c…
math.LO2014
A Framework for Forcing Constructions at Successors of Singular Cardinals
James Cummings, Mirna Džamonja, Menachem Magidor +2
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in w…