Completeness in local positive logic
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918151015366656 |
|---|---|
| author | Fanlo, Arturo Rodriguez Segel, Ori |
| author_facet | Fanlo, Arturo Rodriguez Segel, Ori |
| contents | 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). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_03260 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Completeness in local positive logic Fanlo, Arturo Rodriguez Segel, Ori Logic 03C95, 03B60 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). |
| title | Completeness in local positive logic |
| topic | Logic 03C95, 03B60 |
| url | https://arxiv.org/abs/2401.03260 |