1Kurt Gödel Research Center University of Vienna Währinger Strasse 25 1090 Wien, Austria 2Department of Mathematics University of Toronto 40 St. George Street, Room 6092 Toronto, Ontario, Canada
Fundamenta Mathematicae, Tome 205 (2009) no. 1, pp. 77-89
We prove the following descriptive set-theoretic analogue of a
theorem of R.~O.~Davies: Every $\Sigma^1_2$ function
$f:\mathbb R\times\mathbb R\to\mathbb R$ can be represented as a sum of rectangular
$\Sigma^1_2$ functions if and only if all reals are constructible.
Keywords:
prove following descriptive set theoretic analogue theorem davies every sigma function mathbb times mathbb mathbb represented sum rectangular sigma functions only reals constructible
Affiliations des auteurs :
Asger Törnquist
1
;
William Weiss
2
1
Kurt Gödel Research Center University of Vienna Währinger Strasse 25 1090 Wien, Austria
2
Department of Mathematics University of Toronto 40 St. George Street, Room 6092 Toronto, Ontario, Canada
@article{10_4064_fm205_1_4,
author = {Asger T\"ornquist and William Weiss},
title = {Definable {Davies'} theorem},
journal = {Fundamenta Mathematicae},
pages = {77--89},
year = {2009},
volume = {205},
number = {1},
doi = {10.4064/fm205-1-4},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm205-1-4/}
}
TY - JOUR
AU - Asger Törnquist
AU - William Weiss
TI - Definable Davies' theorem
JO - Fundamenta Mathematicae
PY - 2009
SP - 77
EP - 89
VL - 205
IS - 1
UR - http://geodesic.mathdoc.fr/articles/10.4064/fm205-1-4/
DO - 10.4064/fm205-1-4
LA - en
ID - 10_4064_fm205_1_4
ER -
