Retractors in local positive logic

Retractors in local positive logic

We study type spaces and retractors (saturated models) for local positive logic.

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!
Beschreibung
Zusammenfassung:We study type spaces and retractors (saturated models) for local positive logic.
DOI:10.48550/arxiv.2404.16971