Elementary equivalence in positive logic via prime products
From MaRDI portal
Publication:6428436
arXiv2303.02614MaRDI QIDQ6428436
J. J. Wannenburg, Kenneth K. Yamamoto, Tommaso Moraschini
Publication date: 5 March 2023
Ultraproducts and related constructions (03C20) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: Elementary equivalence in positive logic via prime products