Cologic of Closed Covers of Compacta and the Pseudo-Arc
Kentarô Yamamoto
所有作者
Kentarô Yamamoto
文献摘要
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.