Skip to Main content Skip to Navigation
Conference papers

Semicomputable points in Euclidean spaces

Mathieu Hoyrup 1 Donald 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

https://hal.inria.fr/hal-02154825
Contributor : Mathieu Hoyrup <>
Submitted on : Thursday, June 13, 2019 - 9:44:50 AM
Last modification on : Tuesday, March 3, 2020 - 3:53:40 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mathieu Hoyrup, Donald 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⟩

Share

Metrics

Record views

59

Files downloads

356