TY  - RPRT
TI  - Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem
AU  - Hisashi Aratake
PY  - 2020
DO  - 10.1002/malq.202000088
UR  - https://arxiv.org/abs/2012.04317
ID  - 2012.04317
ER  -