Definability aspects of the Denjoy integral

DOI10.4064/FM773-9-2016MaRDI QIDQ2966798zbMATH OpenOpenAlexFDO

Authors Sean Walsh

Publication date 8 March 2017

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

definabilityDenjoy integraldescriptive set theoryintegral equations

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Descriptive set theory (03E15) Denjoy and Perron integrals, other special integrals (26A39) Linear integral equations (45A05)

Abstract: The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral $fmapstoin{t}_a^{x}f$ is a coanalytic non-Borel relation on the product space $M[a,b]imesC[a,b]$, where $M[a,b]$ is the Polish space of real-valued measurable functions on $[a,b]$ and where $C[a,b]$ is the Polish space of real-valued continuous functions on $[a,b]$. Using the same methods, it is also shown that the class of indefinite Denjoy integrals, called $AC{G}_{ast}[a,b]$, is a coanalytic but not Borel subclass of the space $C[a,b]$, thus answering a question posed by Dougherty and Kechris. Some basic model theory of the associated spaces of integrable functions is also studied. Here the main result is that, when viewed as an $mathbbR[X]$-module with the indeterminate $X$ being interpreted as the indefinite integral, the space of continuous functions on the interval $[a,b]$ is elementarily equivalent to the Lebesgue-integrable and Denjoy-integrable functions on this interval, and each is stable but not superstable, and that they all have a common decidable theory when viewed as $mathbbQ[X]$-modules.

Recommendations

• Definability in functional analysis
• Definability in the enumeration degrees
• Definability under duality
• Definability in function spaces
• Definability via enumerations
• scientific article; zbMATH DE number 2236694
• Definability and descent
• scientific article; zbMATH DE number 510777
• Definable Davies' theorem
• Definability and invariance

Cited in

(3)

• Splittings and disjunctions in reverse mathematics
• Cousin’s lemma in second-order arithmetic
• An effective analysis of the Denjoy rank

This page was built for publication: Definability aspects of the Denjoy integral

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