On the structure of perfect sets in various topologies associated with tree forcings

DOI10.2478/S11533-012-0142-3MaRDI QIDQ1939360zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 4 March 2013

Published in Central European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/s11533-012-0142-3

zbMATH Keywords

Ellentuck topologyeventually different topologyHechler topologyperfect isomorphismperfect setsSorgenfrey topology

Mathematics Subject Classification ID

Descriptive set theory (03E15) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10)

Review text

A bijection \(f:X\to Y\) is said to be a perfect isomorphism (and \(X\) is said to be perfect isomorphic to \(Y\)), if for any perfect sets \(P\subseteq X\) and \(Q\subseteq Y\), the image \(f[P]\) has a perfect subset in \(Y\) and the inverse image \(f^{-1}[Q]\) has a perfect subset in \(X\). The authors are interested in four topologies associated with tree forcings: the dominating, eventually different, Ellentuck, and dual Ellentuck topologies. They prove that the Ellentuck, Hechler and dual Ellentuck topologies are perfect isomorphic to one another. Therefore the structure of perfect sets in all these spaces is the same. On the other hand they prove that the space corresponding to the eventually different forcing does not contain a perfect subset homeomorphic to any of the other spaces.

Recommendations

• A dichotomy theorem for the Ellentuck topology
• scientific article; zbMATH DE number 3884145
• Products of Infinitely Many Perfect Trees
• scientific article; zbMATH DE number 13056
• Mycielski among trees

Cites work

• A dichotomy theorem for the Ellentuck topology
• A dual form of Ramsey's theorem
• Coinitial families of perfect sets
• Finitely continuous Hamel functions
• Hechler reals
• scientific article; zbMATH DE number 3714534 (Why is no real title available?)
• scientific article; zbMATH DE number 3579570 (Why is no real title available?)
• scientific article; zbMATH DE number 1080113 (Why is no real title available?)
• scientific article; zbMATH DE number 889872 (Why is no real title available?)
• Symmetries between two Ramsey properties

Cited in

(3)

• A dichotomy theorem for the Ellentuck topology
• On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology
• On non-wellfounded iterations of the perfect set forcing

This page was built for publication: On the structure of perfect sets in various topologies associated with tree forcings

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