Omitting types for infinitary real-valued logic: a topological perspective
Student research notes · Olivia Aubone, Eduardo Dueñez and José Iovino
© 2026 Olivia Aubone, Eduardo Dueñez and José Iovino. All rights reserved. Work in progress: please link to this page rather than posting copies.
We prove an omitting types theorem for countable fragments of infinitary logic for real-valued structures in the sense of Keisler, structures on which no metric is given. The proof is topological: for a countable vocabulary and a countable fragment, the Henkin types form a Čech-complete space, and the required models are obtained from the Baire category theorem.
- Omitting types for infinitary real-valued logic: a topological perspective PDF