Elementary equivalence in positive logic via prime products

T. Moraschini, J. J. Wannenburg, K. Yamamoto

We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of Łoś's Theorem restricted to positive formulas,…