Retractors in local positive logic
Logic
2025-03-17 v2
Abstract
We study type spaces and saturation for local positive logic.
Cite
@article{arxiv.2404.16971,
title = {Retractors in local positive logic},
author = {Arturo Rodriguez Fanlo and Ori Segel},
journal= {arXiv preprint arXiv:2404.16971},
year = {2025}
}
Related papers
View all related →
Logic · Mathematics
Completeness in local positive logic
Arturo Rodriguez Fanlo, Ori Segel
2025-10-01
Logic · Mathematics
Locally compact groups and continuous logic
Aleksander Ivanov
2013-07-22
Logic · Mathematics
Spaces of Types in Positive Model Theory
Levon Haykazyan
2019-06-12
Logic · Mathematics
Positive enumerable functors
Barbara Csima, Dino Rossegger, Zhi Ying "Daniel" Yu
2021-02-10
Algebraic Geometry · Mathematics
Augmented and restricted base loci of cycles
Angelo Felice Lopez
2020-11-25
Logic in Computer Science · Computer Science
Type theory and rewriting
Frédéric Blanqui
2016-08-16
Logic · Mathematics
Stability and stable groups in continuous logic
Itaï Ben Yaacov
2014-02-10
General Topology · Mathematics
Locally small spaces with an application
Artur Piękosz
2020-09-08
Operator Algebras · Mathematics
Local Operator Multipliers and Positivity
Naomi M. Steen, Ivan G. Todorov, Lyudmila Turowska
2012-06-19
Logic · Mathematics
Positive Strong Amalgamation
Mohammed Belkasmi
2019-11-15
Complex Variables · Mathematics
Linear spaces of rational integrable 1-forms
Gabriel Barbosa
2026-05-25
Representation Theory · Mathematics
Total positivity in symmetric spaces
G. Lusztig
2021-09-29
Logic in Computer Science · Computer Science
Transport of finiteness structures and applications
Christine Tasson, Lionel Vaux
2016-12-15
Logic · Mathematics
Positive model theory and infinitary logic
Jean Berthet
2015-01-06
Algebraic Geometry · Mathematics
Weight Spaces and Attracting Sets for Torus Actions on Quiver Moduli
Magdalena Boos, Hans Franzen
2020-02-28
Algebraic Topology · Mathematics
Positive weights and self-maps
Fedor Manin
2023-03-22
Logic · Mathematics
Compactness in positive logic
Mohammed Belkasmi
2018-12-24
Logic · Mathematics
The reducts of equality up to primitive positive interdefinability
Manuel Bodirsky, Hubie Chen, Michael Pinsker
2010-01-16
Logic in Computer Science · Computer Science
Local Termination: theory and practice
Joerg Endrullis, Roel de Vrijer, Johannes Waldmann
2015-07-01
Programming Languages · Computer Science
Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2007-05-23
Logic · Mathematics
Type space functors and interpretations in positive logic
Mark Kamsma
2023-03-24
Logic in Computer Science · Computer Science
Ground Canonicity
Nachum Dershowitz
2007-05-23
Classical Analysis and ODEs · Mathematics
Approximation of functions of two variables by certain linear positive operators
Fatma Tasdelen, Ali Olgun, Gulen Bascanbaz-Tunca
2007-09-24
Logic · Mathematics
Injectives in residuated algebras
Hector Freytes
2008-07-01
Logic · Mathematics
Positive Robinson theories and h-maximal models
M. Belkasmi
2018-12-27