Related papers: Polish G-spaces and continuous logic

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

Let G be a Roelcke-precompact non-archimedean Polish group, B(G) the algebra of matrix coefficients of G arising from its continuous unitary representations. The Gel'fand spectrum H(G) of the norm closure of B(G) is known as the Hilbert…

Given a compact Polish space $E$ and the hyperspace of its compact subsets $\mathcal{K}(E)$, we consider the class of $G_{\delta}$ $\sigma$-ideals of compact subsets of $E$ that can be represented via a compact subset of $\mathcal{K}(E)$.…

Given a group action on a simplicial complex such that each simplex stabiliser admits a cocompact model of classifying space for proper actions, we give conditions implying the existence of a cocompact model of classifying space for proper…

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…

In this paper, we give the first examples of connected Polish groups that have ample generics, answering a question of Kechris and Rosendal. We show that any Polish group with ample generics embeds into a connected Polish group with ample…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We…

We study the topology of circularly ordered sets. While the algebraic notion is classical, the general topological theory has received comparatively little attention. In this work we provide a self-contained topological exposition and…

We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.

Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that…

We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to…

We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite dimensional separable Hilbert space. Moreover, we show that the unitary group endowed…

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

We study topological groups that can be defined as Polish, pro-countable abelian groups, as non-archimedean abelian groups or as quasi-countable abelian groups, i.e., Polish subdirect products of countable, discrete groups, endowed with the…

In this paper we extend a previous result of the author [Lis07] of characterization of absolutely continuous curves in Wasserstein spaces to a more general class of spaces: the spaces of probability measures endowed with the…

We discuss the problem of when a continuous map between topological spaces induces a continuous function between their respective hyperspaces. We characterize the continuity of the induced function in the case of the Fell and Attouch-Wets…