Related papers: Apartness, sharp elements, and the Scott topology …
We study varieties with a term-definable poset structure, "po-groupoids". It is known that connected posets have the "strict refinement property" (SRP). In [arXiv:0808.1860v1 [math.LO]] it is proved that semidegenerate varieties with the…
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…
We study properties of strongly separately continuous mappings defined on subsets of products of topological spaces equipped with the topology of pointwise convergence. In particular, we give a necessary and sufficient condition for a…
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
Exceptional points are universal level degeneracies induced by non-Hermiticity. Whereas past decades witnessed their new physics, the unified understanding has yet to be obtained. Here we present the complete classification of generic…
We construct and analyze an isoparametric finite element pair for the Stokes problem in two dimensions. The pair is defined by mapping the Scott-Vogelius finite element space via a Piola transform. The velocity space has the same degrees of…
We prove that if $G$ is a noncompact connected real reductive linear Lie group, then any discrete subgroup of $G$ acting properly discontinuously and cocompactly on some homogeneous space $G/H$ of $G$ is quasi-isometrically embedded and…
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies…
Piecewise divergence-free nonconforming virtual elements are designed for Stokes problem in any dimensions. After introducing a local energy projector based on the Stokes problem and the stabilization, a divergence-free nonconforming…
In previous works, we studied intersection homotopy groups associated to a Goresky and MacPherson perversity and a filtered space. They are defined as the homotopy groups of simplicial sets introduced by P. Gajer. We particularized to…
We introduce soft bitopological spaces from the standpoint of soft elements. A soft bitopological space is a soft set equipped with two soft topologies. Following the classical construction of Goldar--Ray, each soft topology on $F$ induces…
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge…
A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…
We investigate the concept of macroscopically distinguishable superpositions within an infinite array of boson sites. Our approach is rigorous within the frame of Hilbert space theory. In this context, it is natural to differentiate between…
We establish strong Feller property and irreducibility for the transition semigroup associated to a class of nonlinear stochastic partial differential equations with multiplicative degenerate noise. As a by-product, we prove uniqueness of…
Matrix convexity generalizes convexity to the dimension free setting and has connections to many mathematical and applied pursuits including operator theory, quantum information, noncommutative optimization, and linear control systems. In…
We investigate when the space $\mathcal O_X$ of open subsets of a topological space $X$ endowed with the Scott topology is core compact. Such conditions turn out to be related to infraconsonance of $X$, which in turn is characterized in…
In this paper, we investigate the stochastic differential equation on $\mathbb{R}^d,d\geq2$: \begin{align*} \dif X_t&=v(t,X_t)\dif t+\sqrt{2} \dif W_t. \end{align*} For any finite collection of initial probability measures…
The abstract boundary construction of Scott and Szekeres is a general and flexible way to define singularities in General Relativity. The abstract boundary construction also proves of great utility when applied to questions about more…