pith. sign in

arxiv: math/9905147 · v1 · submitted 1999-05-24 · 🧮 math.LO

Category analog of sup-measurability problem

classification 🧮 math.LO
keywords analogcategorymeasurablesup-measurablefunctionfunctionsnon-measurableassumptions
0
0 comments X
read the original abstract

A function F:R^2->R is sup-measurable if F_f:R->R given by F_f(x)=F(x,f(x)), x in R, is measurable for each measurable function f:R->R. It is known that under different set theoretical assumptions, including CH, there are sup-measurable non-measurable functions, as well as their category analog. In this paper we will show that the existence of category analog of sup-measurable non-measurable functions is independent of ZFC. A similar result for the original measurable case is a subject of a work in prepartion by Roslanowski and Shelah.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.