computable set in nLab

+-- {: .rightHandSide}
+-- {: .toc .clickDown tabindex="0"}
### Context
#### Constructivism, Realizability, Computability
+-- {: .hide}
[[!include constructivism - contents]]
=--
=--
=--


#Contents#
* table of contents
{:toc}

## Idea

A [[subset]] that is [[computability|computably]] defined.

## Related concepts

* [[definable set]]

* [[computable real number]]

* [[persistent homology]]

* [[computable physics]]

## References

* [[Zvonko Iljazovic]], _Compact manifolds with computable boundaries_, LMCS 9 (4:19) 2013 ([arXiv:1310.7911](http://arxiv.org/abs/1310.7911))