The Rice-Shapiro theorem in Computable Topology.

Margarita V. Korovina Oleg V. Kudinov

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

digital topology
social networks
decision making
small world
cell complexes
real time
metadata
control system
binary images
topology preserving
topology preservation
finite sets
intuitionistic logic