References & Citations
Mathematics > Logic
Title: Completeness in local positive logic
(Submitted on 6 Jan 2024 (v1), last revised 25 Apr 2024 (this version, v2))
Abstract: We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility).
Submission history
From: Arturo Rodríguez Fanlo [view email][v1] Sat, 6 Jan 2024 17:04:02 GMT (66kb)
[v2] Thu, 25 Apr 2024 18:41:49 GMT (34kb)
Link back to: arXiv, form interface, contact.