T·莫拉希尼。;J.J.Wannenburg。;山本，K。 通过素积实现正逻辑中的基本等价。 arXiv公司：2303.02614 预打印，arXiv:2303.02614[math.LO]（2023）。 摘要：我们引入素积作为正逻辑超积的推广。素积被证明满足一个限制于正公式的Łoshi定理版本，以及Keisler同构定理的以下变体：在广义连续统假设下，两个模型具有相同的正理论当且仅当它们具有同构的超幂素幂。 MSC公司： 03C07号机组 一阶语言和结构的基本性质 03C10号机组 量词消除、模型完整性和相关主题 03C20号 Ultra产品和相关结构 BibTeX公司 引用 \textit{T.Moraschini}等人，“通过素积实现正逻辑的基本等价”，Preprint，arXiv:2303.02614[math.LO]（2023） 全文： arXiv公司 OA许可证 arXiv数据取自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.