Completeness in local positive logic - Fanlo, Arturo Rodriguez; Segel, Ori (ANNALS OF PURE AND APPLIED LOGIC, 2025)