Uniquely universal sets

DOI10.1016/J.TOPOL.2012.05.015zbMATH Open1259.03060arXiv1106.1629OpenAlexW1992422990MaRDI QIDQ439301FDOQ439301

Authors: Arnold W. Miller 

Publication date: 16 August 2012

Published in: Topology and its Applications (Search for Journal in Brave)

Abstract: We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does X x Y satisfy UU and noted that if Y is compact then X must have an isolated point. We prove the following: 1. If Y is a locally compact noncompact Polish space, then C x Y has UU where C is the Cantor space. 2. If Y is Polish, then B x Y has UU iff Y is not compact where B is the Baire space. 3. If Y is a sigma-compact subset of a Polish space which is not compact, then B x Y has UU.

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

Recommendations

• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)
• Open universal sets
• Publication:4943763
• Universally meager sets
• Weakly α-favourable measure spaces

zbMATH Keywords

Cantor spaceBaire spacePolish spaceunique parameterizationuniversal set

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Cites Work

• Title not available (Why is that?)
• Descriptive set theory
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Title not available (Why is that?)
• Effectively closed sets and enumerations
• Borel and Analytic One-One Parametrizations of the Countable Sets of Reals
• On the unique representation of families of sets
• Title not available (Why is that?)

Cited In (5)

• Reductions on equivalence relations generated by universal sets
• Title not available (Why is that?)
• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)
• Universal sets for ideals
• Uniquely undefinable elements

This page was built for publication: Uniquely universal sets

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