6 problems

Let $X$ be a perfect Polish space, meaning a separable completely metrizable space with no isolated points. Let $cmathsf{BA}(X)$ denote the Baumgartner axiom parametrized by $X$, a…

Let $cmathsf{BA}$ denote Baumgartner's axiom for the real line, and let $cmathsf{BA}(X)$ be its parametrized version for a topological space $X$. For a positive integer $n$, write…

Let $X$ be a Hausdorff topological group. Baire–banalytic characterization conjecture. The group $X$ is Polish if and only if $X$ is a Baire space and a banalytic space. This conje…

Let $(X,\rho)$ be an infinite Polish ultrametric space. A map $\varphi:X\rightarrow X$ is locally contractive if, for every $x\in X$, there is a neighborhood on which distances fro…

Let $X$ be an analytic space, $Y$ a separable metrizable space, $1<n<m<\omega$, and $f\in\Sigma_{m,n}(X,Y)$. Topology-refinement reformulation of the strong Jayne–Rogers conjecture…

Dichotomy conjecture. There is a dichotomy: either the model is similar to categorical theories, or there are “many complicated models”.