Completeness in local positive logic
| Autor: | Fanlo, Arturo Rodriguez, Segel, Ori |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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). Comment: arxiv:2401.03260v1 has been divided in two papers. This is the first part |
| Databáze: | arXiv |
| Externí odkaz: |
|