正逻辑中基于素积的初等等价
逻辑
2023-07-04 v3
摘要
我们引入素积作为正逻辑中超积的一种推广。证明了素积满足限于正公式的Łoś定理的一个版本，以及如下的Keisler同构定理变体：在广义连续统假设下，两个模型具有相同的正理论当且仅当它们具有同构的超幂素幂。
引用
@article{arxiv.2303.02614,
title = {Elementary equivalence in positive logic via prime products},
author = {T. Moraschini and J. J. Wannenburg and K. Yamamoto},
journal= {arXiv preprint arXiv:2303.02614},
year = {2023}
}
备注
15 pages; Accepted to the Journal of Symbolic Logic