Let A and B be disjoint sets of natural numbers. These sets are effectively separable if there is a computable set C of natural numbers such that <math>A \subseteq C</math> and <math>B \cap C</math> is empty. If A and B are not effectively separable then they are effectively inseparable.
| Property | Value |
|---|
| dbpprop:abstract
|
- Let A and B be disjoint sets of natural numbers. These sets are effectively separable if there is a computable set C of natural numbers such that <math>A \subseteq C</math> and <math>B \cap C</math> is empty. If A and B are not effectively separable then they are effectively inseparable.
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- Let A and B be disjoint sets of natural numbers. These sets are effectively separable if there is a computable set C of natural numbers such that <math>A \subseteq C</math> and <math>B \cap C</math> is empty. If A and B are not effectively separable then they are effectively inseparable.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
