arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25051

Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains

Xiaoyong Xi·Chong Shen·Dongsheng Zhao
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xiaoyong Xi, Chong Shen, Dongsheng Zhao. 2026-10-18. Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains. https://arxiv.org/abs/2610.25051

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An Extension of Galvin's Theorem Related to the Banach-Mazur Game

Let $X$ be a topological space. Galvin's theorem on the Banach-Mazur game states that if $X$ has a $π$-base $\mathcal{B}$ satisfying the following condition: \textit{For any $U \in \mathcal{B}$, there exists a disjoint family $\mathcal{A}_U$ of nonempty open subsets of $U$ such that} \[ |\mathcal{A}_U| \geq |\{ B \in \mathcal{B} : U \subseteq B \}|, \] then, in the Banach-Mazur game on $X$, the second player, denoted NONEMPTY, has a 2-tactic if NONEMPTY has a winning strategy in this game. In this paper, we extend the disjointness condition of this family by replacing it with the condition of being open finite family. With this extension of the family $\mathcal{A}_U$, we showed that, the theorem is also true.

math.GN↗
arXiv2026

Nielsen coincidence theory of $(n,m)$-valued pairs of maps

We consider pairs of maps $(f,g)$, where $f$ is an $n$-valued map and $g$ is an $m$-valued map, defined on connected finite polyhedra. A point $x$ such that $f(x)\cap g(x)\neq \emptyset$ is called a coincidence point of $f$ and $g$. A useful device for studying coincidence points would be a Nielsen-type invariant which provides a lower bound for the number of coincidence points of all $(n, m)$-valued pairs of maps homotopic to $(f,g)$. The construction of such an invariant $N(f:g)$ was proposed in [J. Fixed Point Theory Appl. 14, 309--324 (2013)]. Unfortunately, this approach has some flaws. In this paper, we present a modified construction that yields a corrected form of the invariant, defined in terms of the intersection points of the graphs of $f$ and $g$. In the case of $(n, m)$-valued pairs of maps of the circle our invariant provides a sharp lower bound, which we precisely determine.

math.GN↗