nLab
computable set

Contents

Idea

A subset that is computably defined.

References