The Medvedev lattice of computably closed sets.

Sebastiaan Terwijn

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

Keyphrases

closed sets
closure operator
binary data
inductive inference
condensed representations
multi relational
set theory
concept lattice
edge detection