### Elementary equivalence in positive logic via prime products - preprint

We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of {\L}o\'s's Theorem restricted to positive formulas, as well as the following variant of Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers.

author
K. Yamamoto
T. Moraschini
J. J. Wannenburg

date published
2023-03-05T08:56:22+00:00

headline
Elementary equivalence in positive logic via prime products

is part of
preprints