An Omitting Types Theorem for Sheaves over Topological Spaces

DOI10.1093/JIGPAL/12.6.525zbMath1062.03027OpenAlexW2090186965MaRDI QIDQ4656551

Francisco Miraglia, Andreas B. M. Brunner

Publication date: 11 March 2005

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.6.525

zbMATH Keywords

spectral spaceintuitionistic modelcountable first-order languages with equalityintuitionistic generalization of classical omitting types theoremsheaf of structures

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

This page was built for publication: An Omitting Types Theorem for Sheaves over Topological Spaces