Computable points in co-c.e. polyhedra
Zvonko Iljazović, Marijana Bradas · Global Journal of Mathematics · 2015
Co-c.e. sets need not be computable, moreover they need not contain any computable point. Co-c.e. polyhedra also do not have to be computable. However, each co-c.e. polyhedron P contains computable points, in fact we prove that computable points are dense in P.