paper

Retractors in local positive logic

arXiv:2404.16971

Abstract

We study type spaces and saturation for local positive logic.

Retractors in local positive logic · wovepaper