## Real Analysis Exchange

- Real Anal. Exchange
- Volume 32, Number 1 (2006), 179-194.

### Half of an inseparable pair.

#### Abstract

A classical theorem of Luzin is that the separation principle holds for the $\mathbf{\Pi}^0_\propto$ sets but fails for the $\mathbf{\Sigma}^0_\propto$ sets. We show that for every $\mathbf{\Sigma}^0_\propto$ set $A$ which is not $\mathbf{\Pi}^0_\propto$ there exists a $\mathbf{\Sigma}^0_\propto$ set $B$ which is disjoint from $A$ but cannot be separated from A by a $\mathbf{\Delta}^0_\propto$ set $C$. Assuming $\mathbf{Pi}^1_1$-determancy it follows from a theorem of Steel that a similar result holds for $\mathbf{Pi}^1_1$ sets. On the other hand assuming V=L there is a proper $\mathbf{Pi}^1_1$ set which is not half of a Borel inseparable pair. These results answer questions raised by F.Dashiell.

#### Article information

**Source**

Real Anal. Exchange, Volume 32, Number 1 (2006), 179-194.

**Dates**

First available in Project Euclid: 17 July 2007

**Permanent link to this document**

https://projecteuclid.org/euclid.rae/1184700044

**Mathematical Reviews number (MathSciNet)**

MR2329229

**Zentralblatt MATH identifier**

1121.03059

**Subjects**

Primary: 03E15: Descriptive set theory [See also 28A05, 54H05] 03E35: Consistency and independence results 03E60: Determinacy principles

**Keywords**

separation principle Borel sets analytic sets self-constructible reals

#### Citation

Miller, Arnold W. Half of an inseparable pair. Real Anal. Exchange 32 (2006), no. 1, 179--194. https://projecteuclid.org/euclid.rae/1184700044