{"id":"arxiv/2611.02247","url":"https://arxiv.org/abs/2611.02247","tags":["math.LO"],"score":0,"title":"Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective","domain":"math.LO","source":"arxiv","authors":["Olivia Aubone","Eduardo Dueñez","José Iovino"],"reviews":0,"subject":"math.LO","summary":"For countable vocabularies, we extend the omitting types theorem for countable fragments of infinitary logic to Keisler's general real-valued structures by proving that the space of Henkin types of each such fragment is Čech-complete. The structures interpret function symbols arbitrarily and predicate symbols by bounded real-valued functions, while each formula carries a bound of its own. This extends the setting of Eagle's theorem from metric structures with a prescribed master metric to general structures whose vocabulary prescribes the sorts and bounds of the symbols. Following Keisler…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}