Related papers: Scott locales

The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober.…

A group homomorphism eta:H-->G is called a localization of H if every homomorphism phi:H-->G can be `extended uniquely' to a homomorphism Phi:G-->G in the sense that Phi eta=phi. Libman showed that a localization of a finite group need not…

A locally convex space (lcs) $E$ is said to have an $\omega^{\omega}$-base if $E$ has a neighborhood base $\{U_{\alpha}:\alpha\in\omega^\omega\}$ at zero such that $U_{\beta}\subseteq U_{\alpha}$ for all $\alpha\leq\beta$. The class of lcs…

This article concerns the locus of all locally constant $\mathrm{SL}(2,\mathbb{R})$-valued cocycles that are uniformly hyperbolic, called the hyperbolic locus. Using the theory of semigroups of M\"obius transformations we introduce a new…

Every countable structure has a sentence of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought…

We obtain an analog of the prime number theorem for a class of branched covering maps on the $2$-sphere $S^2$ called expanding Thurston maps, which are topological models of some non-uniformly expanding rational maps without any smoothness…

We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition…

The bounded localization $\beta_b$ of a locally convex topology $\beta$ is defined as the finest locally convex topology agreeing with $\beta$ on all bounded sets. We show that the strict topology on the multiplier algebra of a bornological…

Given a family of local systems on a punctured Riemann sphere, with moving singularities, its first parabolic cohomology is a local system on the base space. We study this situation from different points of view. For instance, we derive…

There are investigated problems connected with local and boundary properties of Orlicz--Sobolev classes of finite distortion which are actively studied last time. It is showed that, a locally uniform limit of local homeomorphisms of…

There is a well-known inclusion $\iota_\mathscr{E}$ of a topos $\mathscr{E}$ in the linguistic topos $\mathscr{T}(\Sigma)$ of its internal language $\Sigma$ that proves both toposes to be equivalent. There is also a canonical translation…

We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological…

Given a scheme $X$ over $\mathbb{Z}$ and a hyperfield $H$ which is equipped with topology, we endow the set $X(H)$ of $H$-rational points with a natural topology. We then prove that; (1) when $H$ is the Krasner hyperfield, $X(H)$ is…

We consider the space $\mathscr{H}_L ^{s,r} (O)$ consisting of all local Sobolev distributions of order $s$ on an open set $O$ whose Sobolev wave front set of order $r$ is contained in the closed conic set $L\subseteq…

For a closed locally symmetric space M=\Gamma\G/K and a representation of G we consider the push-forward of the fundamental class in the homology of the linear group and a related invariant in algebraic K-theory. We discuss the…

The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms…

We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological…

Let $A$ be a unital locally matrix algebra. Among the examples of such algebras are: (1) an infinite tensor product $\otimes M_{n_i}(\mathbb{F})$ of matrix algebras over a field $\mathbb{F}$, and (2) the Clifford algebra of a nondegenerate…

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

Local models are schemes, defined in terms of linear-algebraic moduli problems, which give \'etale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. In the case of a unitary…