JEDNOSTKA NAUKOWA KATEGORII A+

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Fundamenta Mathematicae

Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

Definability aspects of the Denjoy integral

Tom 237 / 2017

Fundamenta Mathematicae 237 (2017), 1-29 MSC: Primary 03E15, 26A39; Secondary 03C65, 45A05. DOI: 10.4064/fm773-9-2016 Opublikowany online: 27 December 2016

Streszczenie

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 $f \mapsto \int _a^x f$ is a coanalytic non-Borel relation on the product space $M[a,b]\times C[a,b]$, where $M[a,b]$ is the Polish space of real-valued measurable functions on $[a,b]$, and $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, denoted by $ACG_{\ast }[a,b]$, is a coanalytic but not Borel subclass of $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 $\mathbb {R}[X]$-module with the indeterminate $X$ being interpreted as the indefinite integral, the space of continuous functions on $[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 $\mathbb {Q}[X]$-modules.

Autorzy

• Sean WalshDepartment of Logic and Philosophy of Science
University of California, Irvine
5100 Social Science Plaza
Irvine, CA 92697-5100, U.S.A.
e-mail
e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Odśwież obrazek