Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective
Abstract
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 and Miller's treatment of logic without equality, we build models from closed terms. Morley's Baire category method then gives every satisfiable theory on a countable fragment a model with countable sorts omitting any countable family of types whose closed-term instances have empty interior in the space of Henkin types satisfying the theory.
Related
- Infinitary real-valued logic and a refinement of the Kochen-Specker theorem
- A note on isomorphism types of complete discretely valued fields of mixed characteristic
- Topological point singularities of manifold-valued maps and approximability by smooth maps
- Quantale-Valued Tolerance Convergence Function Spaces: Topological and Cartesian-Closed Categorical Perspectives
- Topological preservation under aggregation of quantale-valued metric spaces
BibTeX
@misc{aubone2026omitting,
title = {{Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective}},
author = {Olivia Aubone and Eduardo Dueñez and José Iovino},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.02247},
eprint = {2611.02247},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.02247},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective
AU - Olivia Aubone
AU - Eduardo Dueñez
AU - José Iovino
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.02247
UR - https://arxiv.org/abs/2611.02247
AB - 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 and Miller's treatment of logic without equality, we build models from closed terms. Morley's Baire category method then gives every satisfiable theory on a countable fragment a model with countable sorts omitting any countable family of types whose closed-term instances have empty interior in the space of Henkin types satisfying the theory.
ER -