- Cologic of Closed Covers of Compacta and the Pseudo-Arc 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. 1 authors · Oct 7
