Related papers: Topological games and covering dimension

We give a sufficient condition on totally disconnected topological graphs such that their associated topological graph algebras are purely infinite.

We introduce the notion of universal graphs as a tool for constructing algorithms solving games of infinite duration such as parity games and mean payoff games. In the first part we develop the theory of universal graphs, with two goals:…

We provide a clarification of the classification of two-dimensional algebras over an arbitrary base field. Using this clarification, we determine the number of non-isomorphic two-dimensional algebras over a finite field.

We show that a totally geodesic submanifold of a symmetric space satisfying certain conditions admits an extension to a minimal submanifold of dimension one higher, and we apply this result to construct new examples of complete embedded…

We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…

In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…

We study fractality of unbounded sets of finite Lebesgue measure at infinity by introducing the notions of Minkowski dimension and content at infinity. We also introduce the Lapidus zeta function at infinity, study its properties and…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

We show that any cooperative game can be represented by an assignment of costly facilities to players, in which it is intuitively obvious how to allocate the total cost in an equitable manner. This equitable solution turns out to be the…

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…

We study several properties of expansive group actions on metric spaces and obtain relation between expansivity for subgroup and group actions. Through counter examples necessity of hypothesis are justified. We also study expansivity of…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

We define vertex cover algebras for weighted simplicial multicomplexes and prove basics properties of them. Also, we describe these algebras for multicomplexes which have only one maximal facet and we prove that they are finitely generated.

In this article, we go on to discuss about a series of infinite dimensional extension of the theorems in [3], [5], [6]. We also prove a similar Geraghty type constructions for Fisher ([5]) in infinite dimension, using similar techniques as…

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

We determine the local geometric structure of two-dimensional metric spaces with curvature bounded above as the union of finitely many properly embedded/branched immersed Lipschitz disks. As a result, we obtain a graph structure of the…

We relate the Sierpinski triangle and the game of Nim. We begin by defining both a new high-dimensional analog of the Sierpinski triangle and a natural geometric interpretation of the losing positions in Nim, and then, in a new result, show…

We prove completeness, interpolation and omitting types for certain predicate topological logics that properly extend the first order case. We aslo count the non isomorphic topological models of a countable theory

Unlike the case of surfaces of topologically finite type, there are several different Teichm\"uller spaces that are associated to a surface of topological infinite type. These Teichm\"uller spaces first depend (set-theoretically) on whether…