Can we assign the Borel hulls in a monotone way?
Classical Analysis and ODEs
2011-09-23 v1 Logic
Abstract
A \emph{hull} of is a set containing such that . We investigate all four versions of the following problem. Does there exist a monotone (wrt. inclusion) map that assigns a Borel/ hull to every negligible/measurable subset of ? Three versions turn out to be independent of ZFC (the usual Zermelo-Fraenkel axioms with the Axiom of Choice), while in the fourth case we only prove that the nonexistence of a monotone hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent. We also answer a question of Z. Gyenes and D. P\'alv\"olgyi which asks if monotone hulls can be defined for every chain (wrt. inclusion) of measurable sets. We also comment on the problem of hulls of all subsets of .
Keywords
Cite
@article{arxiv.1109.4862,
title = {Can we assign the Borel hulls in a monotone way?},
author = {Márton Elekes and András Máthé},
journal= {arXiv preprint arXiv:1109.4862},
year = {2011}
}