...Ciesielski
The author wishes to thank Professors Lee Larson, Marek Balcerzak, Andy Bruckner, Tomasz Natkaniec, Juris Steprans, and Brian Thomson for reading preliminary versions of this paper and helping in improving its final version.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...countable.
This approach was used in the paper [125], while the Luzin set approach in the paper [126]. Since they are published in the same year, the priority is not completely clear. However in the list of Sierpinski's publications printed in [130] paper [125] precedes [126], suggesting its priority.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...countable.
The construction of such a set, under CH, was published by Luzin in 1914 [93]. The same construction had been also published in 1913 by Mahlo [95]. But (as is not unusual in mathematics) such a set is commonly known as a Luzin set.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...form
Co-countable symmetric derivatives are replaced by co- symmetric derivatives and the theorem is proved in ZFC.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...function.
In fact, a Hamel basis can be chosen to be both first category and measure zero. Thus can be measurable and have the Baire property.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...NAME="thCMPS">
Recall that for if there exists an such that for every m>n.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...NAME="propCRec">
In [41] (4) was proved with the additional assumption that . This extra assumption was removed by F. Jordan in [69].
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...NAME="thJor2">
The first equation from part (4) was proved by K. Ciesielski.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...way.
See also 1969 paper of Mrówka [103] on characterizing functions by associated sets.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
```
...in [#C##1#].
According to [113] already in a 1988 manuscript [137] Tartaglia proved that the class of all derivatives cannot be topologized.
```.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

```