Maximality of linear continuous logic
Mahya Malekghasemi, Seyed‐Mohammad Bagheri · Mathematical logic quarterly · 2018
Abstract The linear compactness theorem is a variant of the compactness theorem holding for linear formulas. We show that the linear fragment of continuous logic is maximal with respect to the linear compactness theorem and the linear elementary chain property. We also characterize linear formulas as those preserved by the ultramean construction.