Related papers: Semilinear metric semilattices on $\mathbb R$-tree…

Since their introduction by Thurston, measured geodesic laminations on hyperbolic surfaces occur in many contexts. In this survey, we give a generalization of geodesic laminations on surfaces endowed with a half-translation structure,…

Asymptotic subcone of an unbounded metric space is another metric space, capturing the structure of the original space at infinity. In this paper we define a functional metric space S which is an asymptotic subcone of the hyperbolic plane.…

For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…

Scalarization method is an important tool in the study of vector optimization as corresponding solutions of vector optimization problems can be found by solving scalar optimization problems. This is applied by Du (2010) [A note on cone…

This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between…

In this paper we prove that the Scott topology $\mathfrak S$ on a rooted non-metric tree $\mathcal T$ is strictly coarser than the weak tree topology. Moreover, for each $t\in \mathcal T$, we consider a natural order $\preceq_t$ on…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

We attach to each $\langle 0, \vee \rangle$-semilattice a graph $\boldsymbol{G}_{\boldsymbol{S}}$ whose vertices are join-irreducible elements of $\boldsymbol{S}$ and whose edges correspond to the reflexive dependency relation. We study…

We discuss a notion of convergence for binary trees that is based on subtree sizes. In analogy to recent developments in the theory of graphs, posets and permutations we investigate some general aspects of the topology, such as a…

In this paper, we generalize results on Zhang's semipositive model metrics from the algebraic setting to strictly analytic spaces over a non-trivially valued non-Archimedean field. We prove stability under pointwise limits and under forming…

We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…

We prove that every TVS-cone metric space (i.e a cone metric space over a locally convex topological vector space $E$) is first countable paracompact topological space and by using Du's results in " [A note on cone metric fixed point theory…

We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in…

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…

With inspiration from the K\"ahler geometry, we introduce a metric structure on the energy class, $\mathcal{E}_{1,m}$, of $m$-subharmonic functions with bounded energy and show that it is complete. After studying how the metric convergence…

If $q:Y\longrightarrow{B}$ is a fibration and $Z$ is a space, then the free range mapping space $Y!Z$ has a collection of partial maps from $Y$ to $Z$ as underline space, i.e. those such maps whose domains are individual fibre of $q$. It is…

Merge trees are a type of graph-based topological summary that tracks the evolution of connected components in the sublevel sets of scalar functions. They enjoy widespread applications in data analysis and scientific visualization. In this…

We provide a compactness criterion for the set of laws $\mathfrak{P}^{ac}_{sem}(\Theta)$ on the Skorokhod space for which the canonical process $X$ is a semimartingale having absolutely continuous characteristics with differential…

We define and give explicit construction of the universal tree-graded space with a given collection of pieces. We apply that to proving uniqueness of asymptotic cones of relatively hyperbolic groups whose peripheral subgroups have unique…

Every reduced ring $R$ has a natural partial order defined by $a\le b$ if $a^2=ab$; it generalizes the natural order on a boolean ring. The article examines when $R$ is a lower semi-lattice in this order with examples drawn from weakly Baer…