Related papers: Uniform locales and their constructive aspects
Uniformly finite homology is a coarse invariant for metric spaces; in particular, it is a quasi-isometry invariant for finitely generated groups. In this article, we study uniformly finite homology of finitely generated amenable groups and…
A topological space is locally equiconnected if there exists a neighborhood $U$ of the diagonal in $X\times X$ and a continuous map $\lambda:U\times[0,1]\to X$ such that $\lambda(x,y,0)=x$, $\lambda(x,y,1)=y$ et $\lambda(x,x,t)=x$ for…
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…
In this article, we introduce and investigate the concept of partial quasi-metric type space as a generalization of both partial quasi-metric and quasi-metric type spaces. We show that many important constructions studied in K\"unzi's…
Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of…
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that…
Human mobility is a fundamental process underpinning socioeconomic life and urban structure. Classic theories, such as egocentric activity spaces and central place theory, provide crucial insights into specific facets of movement, like…
Wheeler emphasized the study of Superspace - the space of 3-geometries on a spatial manifold of fixed topology. This is a configuration space for GR; knowledge of configuration spaces is useful as regards dynamics and QM.In this Article I…
We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic…
This is a survey on the local structure about a fixed point of discrete finite-dimensional holomorphic dynamical systems, discussing in particular the existence of local topological conjugacies to normal forms, and the structure of local…
The main objective of this article is to provide an alternative approach to the central result of [Eldred, A. Anthony, Kirk, W. A., Veeramani, P., Proximal normal structure and relatively nonexpansive mappings, Studia Math., vol 171(3),…
We restructure and advance the classification theory of finite racks and quandles by employing powerful methods from transformation groups and representation theory, especially Burnside rings. These rings serve as universal receptacles for…
High dimensional, sparsely populated data spaces have been characterized in terms of ultrametric topology. This implies that there are natural, not necessarily unique, tree or hierarchy structures defined by the ultrametric topology. In…
After some background on lattices, the locality framework introduced in earlier work by the authors is extended to cover posets and lattices. We then extend the correspondence between Euclidean structures on vector spaces and orthogonal…
The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are…
Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…