Completeness in local positive logic

Completeness in local positive logic

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 c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Fanlo, Arturo Rodriguez, Segel, Ori
Format: Artikel
Sprache:eng
Schlagworte:
Mathematics - Logic
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Fanlo, Arturo Rodriguez
Segel, Ori
description 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).
doi_str_mv 10.48550/arxiv.2401.03260
format Article
fullrecord <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2401_03260</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2401_03260</sourcerecordid><originalsourceid>FETCH-arxiv_primary_2401_032603</originalsourceid><addsrcrecordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjEw1DMwNjIz4GRQcc7PLchJLUnNSy0uVsjMU8jJT07MUSjIL84sySxLBXLTM5N5GFjTEnOKU3mhNDeDvJtriLOHLti8-IKizNzEosp4kLnxYHONCasAANXOLGM</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Completeness in local positive logic</title><source>arXiv.org</source><creator>Fanlo, Arturo Rodriguez ; Segel, Ori</creator><creatorcontrib>Fanlo, Arturo Rodriguez ; Segel, Ori</creatorcontrib><description>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).</description><identifier>DOI: 10.48550/arxiv.2401.03260</identifier><language>eng</language><subject>Mathematics - Logic</subject><creationdate>2024-01</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2401.03260$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2401.03260$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Fanlo, Arturo Rodriguez</creatorcontrib><creatorcontrib>Segel, Ori</creatorcontrib><title>Completeness in local positive logic</title><description>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).</description><subject>Mathematics - Logic</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjEw1DMwNjIz4GRQcc7PLchJLUnNSy0uVsjMU8jJT07MUSjIL84sySxLBXLTM5N5GFjTEnOKU3mhNDeDvJtriLOHLti8-IKizNzEosp4kLnxYHONCasAANXOLGM</recordid><startdate>20240106</startdate><enddate>20240106</enddate><creator>Fanlo, Arturo Rodriguez</creator><creator>Segel, Ori</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20240106</creationdate><title>Completeness in local positive logic</title><author>Fanlo, Arturo Rodriguez ; Segel, Ori</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-arxiv_primary_2401_032603</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Mathematics - Logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Fanlo, Arturo Rodriguez</creatorcontrib><creatorcontrib>Segel, Ori</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Fanlo, Arturo Rodriguez</au><au>Segel, Ori</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Completeness in local positive logic</atitle><date>2024-01-06</date><risdate>2024</risdate><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).</abstract><doi>10.48550/arxiv.2401.03260</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.48550/arxiv.2401.03260
ispartof
issn
language eng
recordid cdi_arxiv_primary_2401_03260
source arXiv.org
subjects Mathematics - Logic
title Completeness in local positive logic
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T07%3A37%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Completeness%20in%20local%20positive%20logic&rft.au=Fanlo,%20Arturo%20Rodriguez&rft.date=2024-01-06&rft_id=info:doi/10.48550/arxiv.2401.03260&rft_dat=%3Carxiv_GOX%3E2401_03260%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true