Cologic of Closed Covers of Compacta and the Pseudo-Arc
arXiv:2510.05591
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.
The gap in v1 has been fixed. 13 pages. Comments welcome