Related papers: One-step closure, weak one-step closure and meet c…
Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact…
A Banach space $X$ is said to have Efremov's property ($\mathcal{E}$) if every element of the weak$^*$-closure of a convex bounded set $C \subseteq X^*$ is the weak$^*$-limit of a sequence in $C$. By assuming the Continuum Hypothesis, we…
In this paper, some characterizations about transitivity, mildly mixing property, $\mathbf{a}$-transitivity, equicontinuity, uniform rigidity and proximality of Zadeh's extensions restricted on some invariant closed subsets of the space of…
The KC property, a separation axiom between weakly Hausdorff and Hausdorff, requires compact subsets to be closed. Various assumptions involving local conditions, dimension, connectivity, and homotopy show certain KC-spaces are in fact…
We study spherical completeness of ball spaces and its stability under expansions. We introduce the notion of an ultra-diameter, mimicking diameters in ultrametric spaces. We prove some positive results on preservation of spherical…
An approach to find a weak form of shadowing is developed. We consider homeomorphisms of a compact metric space. It is proved that every pseudotrajectory with sufficiently small errors contains at least one subsequence that can be shadowed…
Lower semi-continuity (\texttt{LSC}) is a critical assumption in many foundational optimisation theory results; however, in many cases, \texttt{LSC} is stronger than necessary. This has led to the introduction of numerous weaker continuity…
We prove that oriented and standard shadowing properties are equivalent for topological flows on closed surfaces with the nonwandering set consisting of the finite number of critical elements (i.e., singularities or closed orbits).…
In this paper, we introduce the new class of continua; weakly infinite-dimensional closed set-aposyndetic continua. With this notion, we show that there exists a non-D-continuum such that each positive Whitney level of the hyperspace of the…
This paper is a continuation of work started in \cite{njampavcont} on preserving continuity in ideal topological spaces. We will deal with $\theta$-continuity and weak continuity and give their translations in ideal topological spaces. As…
We study the class of compact convex subsets of a topological vector space which admits a strictly convex and lower semicontinuous function. We prove that such a compact set is embeddable in a strictly convex dual Banach space endowed with…
Properties of two classes of generally convex sets in the n-dimentional real Euclidean space, called m-semiconvex and weakly m-semiconvex, 1<=m<n, are investigated in the present work. In particular, it is established that an open set with…
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…
On R^n endowed with a riemannian metric of bounded nonpositive curvature, the weakly convex closed subsets are topologically trivial. The stability of such subsets under intersection characterizes the euclidean spaces.
I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step and infinite-step weak and strong opacity for partially…
Strongly and weakly stable linear multistep methods can behave very differently. The latter class can produce spurious oscillations in some of the cases for which the former class works flawlessly. The main question is if we can find a well…
This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-step opaque if all its secret states remains opaque to an…
We define shadowable points for homeomorphism on metric spaces. In the compact case we will prove the following results: The set of shadowable points is invariant, possibly nonempty or noncompact. A homeomorphism has the pseudo-orbit…
In this paper, we introduce the notion of $\mathcal{M}$-convergence and $\mathcal{MN}$-convergence structures in posets, which, in some sense, generalise the well-known Scott-convergence and order-convergence structures. As results, we give…