Definable Davies' theorem

DOI10.4064/FM205-1-4MaRDI QIDQ3392303zbMATH OpenOpenAlexFDO

Authors Asger Törnquist, William A. R. Weiss

Publication date 14 August 2009

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0711.0162

zbMATH Keywords

Davies representationrectangular function

Mathematics Subject Classification ID

Descriptive set theory (03E15)

Abstract: We prove the following analogue of a Theorem of R.O. Davies: Every $Sigm{a}_2^1$ function $f:RimesRoR$ can be represented as a sum of rectangular $Sigm{a}_2^1$ functions if and only if all reals are constructible.

Recommendations

• The yellow cake
• scientific article; zbMATH DE number 5919926
• scientific article; zbMATH DE number 4023263
• Basis theorem for \(\Sigma_2^1\)-sets
• scientific article; zbMATH DE number 4108753

Cited in

(6)

• Beth definability and the Stone-Weierstrass theorem
• The _2¹ counterparts to statements that are equivalent to the continuum hypothesis
• Definability aspects of the Denjoy integral
• The yellow cake
• Tarski’s Undefinability Theorem and the Diagonal Lemma
• Some algebraic equivalent forms of $\mathbb {R}\subseteq L$

This page was built for publication: Definable Davies' theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3392303)