Related papers: Predicative theories of continuous lattices

Sofic groups generalise both residually finite and amenable groups, and the concept is central to many important results and conjectures in measured group theory. We introduce a topological notion of a sofic boundary attached to a given…

Finite rank median spaces are a simultaneous generalisation of finite dimensional ${\rm CAT}(0)$ cube complexes and real trees. If $\Gamma$ is an irreducible lattice in a product of rank one simple Lie groups, we show that every action of…

We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…

We show that any compact connected semialgebraic set is the projection of a connected component of the configuration space of a linkage.

We consider finite approximations of a topological space $M$ by noncommutative lattices of points. These lattices are structure spaces of noncommutative $C^*$-algebras which in turn approximate the algebra $\cc(M)$ of continuous functions…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

We give an extension of Margulis' Super-Rigidity for higher rank lattices. In our approach the target group could be defined over any complete valued field. Our proof is based on the notion of Algebraic Representation of Ergodic Actions.

The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class…

The notion of an internal preneighbourhood space on a finitely complete category with finite coproducts and a proper $(\mathsf{E}, \mathsf{M})$ system such that for each object $X$ the set of $\mathsf{M}$-subobjects of $X$ is a complete…

In this article we introduce and study uniform and non-uniform approximate lattices in locally compact second countable (lcsc) groups. These are approximate subgroups (in the sense of Tao) which simultaneously generalize lattices in lcsc…

In 1995 Grillet introduced the concept of a stratified semigroup as a kind of generalisation of finite nilsemigroups. We extend these ideas here by allowing a more general Base and describe them in terms of extensions of semigroups by…

Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…

We elucidate the connection between $SO(3) \times Z(2)$ and the usual SU(2) configuration variables. By exploiting the freedom of choosing a particular SO(3) representative we find a direct connection between the two configuration spaces.…

We study the local Killing Lie algebra of meromorphic almost rigid geometric structures on complex manifolds. This leads to classification results for compact complex manifolds bearing holomorphic rigid geometric structures.

Sponges were recently proposed as a generalization of lattices, focussing on joins/meets of sets, while letting go of associativity/transitivity. In this work we provide tools for characterizing and constructing sponges on metric spaces and…

Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for…

We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with…

We study the congruence lattice of the poset of regions of a hyperplane arrangement, with particular emphasis on the weak order on a finite Coxeter group. Our starting point is a theorem from a previous paper which gives a geometric…

A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.

The work is motivated by the papers [Ba1], [Ba2], [Ba7], [Ba11], [Be] and [Be-Tu]. In particular, the strong homology groups of continuous maps were defined and studied in [Be] and [Be-Tu]. To show that given groups are homology type…