Related papers: Removing chambers in Bruhat-Tits buildings

We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

This is a survey article on classical groups (over arbitrary division rings) and their geometries.

Here we study the unitary groups that can be constructed using elements from the qubit Clifford Hierarchy. We first provide a necessary and sufficient canonical form that semi-Clifford and generalized semi-Clifford elements must satisfy to…

In this paper we examine various properties/constructions which are known for reductive groups and we do some experiments to see to what extent they generalize to symmetric spaces.

Let X be a building of arbitrary type. A compactification $C_r(X)$ of the set Res(X) of spherical residues of X is introduced. We prove that it coincides with the horofunction compactification of Res(X) endowed with a natural combinatorial…

The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…

We study structural properties and the harmonic analysis of discrete subgroups of the Euclidean group. In particular, we 1. obtain an efficient description of their dual space, 2. develop Fourier analysis methods for periodic mappings on…

In this note we make a universal construction of Bruhat-Tits group scheme on wonderful embeddings of adjoint groups in the absolute and relative settings and of adjoint Kac-Moody groups. These have natural classifying properties reflecting…

We carry out an in-depth study of Martin compactifications of affine buildings, from the viewpoint of potential theory and random walks. This work does not use any group action on buildings, although all the results are also stated within…

In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in…

In the context of Higman embeddings of recursive groups into finitely presented groups we suggest an algorithm which uses Higman operations to explicitly constructs the specific recursively enumerable sets of integer sequences arising…

We use $\diamondsuit$ to construct, for every $\alpha\leq\omega_1$ a sequential countably compact topological group of sequential order $\alpha$. This establishes the independence of the existence of sequential countably compact non…

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

We show that any translate of a model set is a model set in some modified cut-and-project scheme. Restricting to Euclidean direct space, we show that any translate of an inter model set is a model set in some modified cut-and-project scheme…

Classical set theory constructs the continuum via the power set P(N), thereby postulating an uncountable totality. However, constructive and computability-based approaches reveal that no formal system with countable syntax can generate all…

We show that there are uncountably many countable lattices. We give a discussion of which such lattices can be modular or distributive. The method applies to show that certain other classes of structures also have uncountably many…

We construct algebras from rhombohedral tilings of Euclidean space obtained as projections of certain cubical complexes. We show that these `Cubist algebras' satisfy strong homological properties, such as Koszulity and quasi-heredity,…

Let F be a global field, and let S be a finite set of places of F containing all archimedean places. Consider the product X of the symmetric spaces and Bruhat-Tits buildings for PGL_d of the completions of F at archimedean and…

We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes of structures. We show that a family of structures is…