most citedSheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020★ 3 cited

Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

Hisashi Aratake

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this…