Uniquely universal sets

DOI10.1016/J.TOPOL.2012.05.015MaRDI QIDQ439301zbMATH OpenOpenAlexFDO

Authors Arnold W. Miller

Publication date 16 August 2012

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• scientific article; zbMATH DE number 3073207 (Why is no real title available?)
• Borel and Analytic One-One Parametrizations of the Countable Sets of Reals
• Descriptive set theory
• Effectively closed sets and enumerations
• On the unique representation of families of sets
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication

Cited in

(5)

• Reductions on equivalence relations generated by universal sets
• scientific article; zbMATH DE number 40760 (Why is no real title available?)
• 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)