MathDB1 problem
- 0 votes0 replies0 views
Existence of a computable measure that is not effectively tight on an incomplete computable metric space
Computable-measure non-effective-tightness conjecture. There exists a computable measure on an incomplete computable metric space that is not effectively tight.