In this paper we study properties of @S-definability over the reals without the equality test which is one of the main concepts in the logical approach to computability over continuous data [Korovina, Margarita V., and Oleg V. Kudinov, The Uniformity Principle for @S-definability with Applications to Computable Analysis, In Proceedings of CiE'07, Lecture Notes in Computer Science 4497 (2007), 416-425; Korovina, Margarita V., Computational aspects of @S-definability over the real numbers without the equality test, In Proceedings of CSL'03, Lecture Notes in Computer Science 2803 (2003), 330-344; Korovina, Margarita V., and Oleg V. Kudinov, Semantic characterisations of second-order computability over the real numbers, In Proceedings of CSL'01, Lecture Notes in Computer Science 2142 (2001), 160-172]. In [Korovina, Margarita V., and Oleg V. Kudinov, The Uniformity Principle for @S-definability with Applications to Computable Analysis, In Proceedings of CiE'07, Lecture Notes in Computer Science 4497 (2007), 416-425] it has been shown that a set [email protected]?R^n is @S-definable without the equality test if and only if B is c.e. open. If we allow the equality test, the structure of a @S-definable subset of R^n can be rather complicated. The next natural question to consider is the following. Is there an effective procedure producing a set which is a maximal c.e. open subset of a given @S-definable with the equality subset of R^n? It this paper we give the negative answer to this question.
[1]
Oleg V. Kudinov,et al.
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis
,
2007,
CiE.
[2]
Margarita V. Korovina,et al.
Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test
,
2003,
CSL.
[3]
Jon Barwise,et al.
Admissible sets and structures
,
1975
.
[4]
Alan Bundy,et al.
Constructing Induction Rules for Deductive Synthesis Proofs
,
2006,
CLASE.
[5]
Oleg V. Kudinov,et al.
Semantic Characterisations of Second-Order Computability over the Real Numbers
,
2001,
CSL.
[6]
I︠U︡riĭ Leonidovich Ershov.
Definability and Computability
,
1996
.