An Omitting Types Theorem for Sheaves over Topological Spaces (Q4656551)
From MaRDI portal
scientific article; zbMATH DE number 2144296
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Omitting Types Theorem for Sheaves over Topological Spaces |
scientific article; zbMATH DE number 2144296 |
Statements
An Omitting Types Theorem for Sheaves over Topological Spaces (English)
0 references
11 March 2005
0 references
intuitionistic generalization of classical omitting types theorem
0 references
sheaf of structures
0 references
countable first-order languages with equality
0 references
spectral space
0 references
intuitionistic model
0 references
