DeepAI AI Chat
Log In Sign Up

Geometrical tilings : distance, topology, compactness and completeness

by   Victor Lutfalla, et al.

We present the different distances on tilings of Rd that exist in the literature, we prove that (most of) these definitions are correct (i.e. they indeed define metrics on tilings of Rd ). We prove that for subshifts with finite local complexity (FLC) these metrics are topologically equivalent and even metrically equivalent, and also we present classical results of compactness and completeness. Note that, excluding the equivalence of these metrics, all of the results presented here are known (see for example the survey [Rob04]) however we were unable to find a reference with complete proofs for some of these results so we decided to write this notice to clarify some definitions and give full proofs.


Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Kleene Algebra (KA) is the algebra of regular expressions. Central to th...

Completeness of Cyclic Proofs for Symbolic Heaps

Separation logic is successful for software verification in both theory ...

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

A cyclic proof system, called CLKID-omega, gives us another way of repre...

Up-To Techniques for Behavioural Metrics via Fibrations

Up-to techniques are a well-known method for enhancing coinductive proof...

A first-order completeness result about characteristic Boolean algebras in classical realizability

We prove the following completeness result about classical realizability...

Proper Semirings and Proper Convex Functors

Esik and Maletti introduced the notion of a proper semiring and proved t...

PPP-Completeness and Extremal Combinatorics

Many classical theorems in combinatorics establish the emergence of subs...