TY - RPRT TI - Elementary equivalence in positive logic via prime products AU - T. Moraschini AU - J. J. Wannenburg AU - K. Yamamoto PY - 2023 UR - https://arxiv.org/abs/2303.02614 ID - 2303.02614 ER -