Adding a continuous map by forcing

MaRDI QIDQ7010423zbMATH OpenFDO

Authors Akira Iwasa

Publication date 19 March 2025

Published in Topology Proceedings (Search for Journal in Brave)

Full work available at URL https://topology.nipissingu.ca/tp/restricted/v65/tp65003.pdf

zbMATH Keywords

continuous map forcing homeomorphism

Mathematics Subject Classification ID

Consistency and independence results in general topology (54A35) Continuous maps (54C05)

Review text

Let \(\mathbf{V}\) be a ground model and \(\mathbb{P}\) a forcing. For topological spaces \((X,\mathcal{T}_X)\) and \((Y,\mathcal{T}_Y)\) let \(F_{X,Y}\) (resp. \(F^\mathbb{P}_{X,Y}\)) denote the collection of continuous in \(\mathbf{V}\) (resp. \(\mathbf{V}^\mathbb{P}\)) functions \((X,\mathcal{T}_X)\to Y,\mathcal{T}_Y)\) (resp. \((X,\mathcal{T}^\mathbb{P}_X)\to Y,\mathcal{T}^\mathbb{P}_Y)\)). Suppose \((X,\mathcal{T}_X)\) is completely regular and \(Y\) has at least two points then each of the following statements implies the next: \((X,\mathcal{T}_X)\) is scattered compact and \((Y,\mathcal{T}_Y)\) is discrete; \(F_{X,Y} = F^\mathbb{P}_{X,Y}\) for any forcing \(\mathbb{P}\); \(F_{X,Y} = F^\mathbb{P}_{X,Y}\) for any ccc forcing \(\mathbb{P}\); \((X,\mathcal{T}_X)\) is scattered, zero-dimensional and pseudocompact. The reversibility of these implications is investigated. Circumstances under which ccc forcing introduces a new homeomorphism are also presented.

Cites work

This page was built for publication: Adding a continuous map by forcing

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