Recent Advances in Σ-Definability over Continuous Data Types

Korovina, Margarita V.

doi:10.1007/978-3-540-39866-0_25

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2008

2013

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

On Σ‐definability without equality over the real numbers

Morozov

Korovina

2008

Mathematical Logic Qtrly

View full text Add to dashboard Cite

In [5] (1982) it has been shown that for first-order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exists no such procedure for Σ-definability over the reals. We also show that there exists even no uniform effective transformation of the definitions of Σ-definable sets (i. e., Σ-formulas) into new definitions of Σ-definable sets in such a way that the results will define open sets, and if a definition defines an open set, then the result of this transformation will define the same set. These results highlight the important differences between Σ-definability with equality and Σ-definability without equality.

show abstract