Retractors in local positive logic
Abstract
We study type spaces and retractors (saturated models) for local positive logic.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2024
- DOI:
- 10.48550/arXiv.2404.16971
- arXiv:
- arXiv:2404.16971
- Bibcode:
- 2024arXiv240416971R
- Keywords:
-
- Mathematics - Logic;
- 03C95;
- 03B60
- E-Print:
- arxiv:2401.03260v1 has been divided in two papers. This is the second part