2000 character limit reached
Completeness in local positive logic
Published 6 Jan 2024 in math.LO | (2401.03260v3)
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).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.