Skip to Main content Skip to Navigation
New interface
Conference papers

Semicomputable points in Euclidean spaces

Mathieu Hoyrup 1 Donald M Stull 1 
1 MOCQUA - Designing the Future of Computational Models
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We introduce the notion of a semicomputable point in R^n , defined as a point having left-c.e. projections. We study the range of such a point, which is the set of directions on which its projections are left-c.e., and is a convex cone. We provide a thorough study of these notions, proving along the way new results on the computability of convex sets. We prove realization results, by identifying computability properties of convex cones that make them ranges of semicomputable points. We give two applications of the theory. The first one provides a better understanding of the Solovay derivatives. The second one is the investigation of left-c.e. quadratic polynomials. We show that this is, in fact, a particular case of the general theory of semicomputable points.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Mathieu Hoyrup Connect in order to contact the contributor
Submitted on : Thursday, June 13, 2019 - 9:44:50 AM
Last modification on : Friday, February 4, 2022 - 3:34:44 AM


Files produced by the author(s)




Mathieu Hoyrup, Donald M Stull. Semicomputable points in Euclidean spaces. MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩. ⟨hal-02154825⟩



Record views


Files downloads