Cologic of Closed Covers of Compacta and the Pseudo-Arc
Logic
2026-05-27 v3
Abstract
A formal system called cologic is proposed for the study of compacta. A counterpart of countable model theory is developed for this system, and it is applied to model theory of the pseudo-arc.
Cite
@article{arxiv.2510.05591,
title = {Cologic of Closed Covers of Compacta and the Pseudo-Arc},
author = {Kentarô Yamamoto},
journal= {arXiv preprint arXiv:2510.05591},
year = {2026}
}
Comments
The gap in v1 has been fixed. 13 pages. Comments welcome