Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124)
From MaRDI portal
scientific article; zbMATH DE number 7736858
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem |
scientific article; zbMATH DE number 7736858 |
Statements
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (English)
0 references
12 September 2023
0 references
0 references
0 references
0 references
