1 paper · 2 filters
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…