结构层、Heyting值结构与Łoś定理的推广
逻辑
2021-12-15 v1 范畴论
摘要
结构层在泛代数与模型论中可用于给出构造。我们能用Heyting值结构描述其逻辑行为。本文首先从范畴逻辑视角对结构层与Heyting值结构给出系统性处理。随后我们证明Heyting值结构的一种{\L}o\'s定理形式。我们还给出关于任意极大滤子均成立{\L}o\'s定理的Heyting值结构的刻画。
引用
@article{arxiv.2012.04317,
title = {Sheaves of Structures, Heyting-Valued Structures, and a Generalization of {\L}o\'s's Theorem},
author = {Hisashi Aratake},
journal= {arXiv preprint arXiv:2012.04317},
year = {2021}
}
备注
34 pages