The Chang-Los-Suszko theorem in a topological setting.

Published in: Arch. Math. Log. (2006)

Keyphrases

learning objects
digital topology
topological properties
artificial intelligence
metadata
evolutionary algorithm
topological spaces
intuitionistic logic