Related papers: Grey subsets of Polish spaces
We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. Starting from ZFC, the exposition in this first part includes relation and order theory as well as a construction of…
This paper provides the theory of integration with respect to Euler characteristics of finite categories. As an application, we use sensors to enumerate the targets lying on a poset. This is a discrete analogue to Baryshnikov and Ghrist's…
In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_\delta$ set (in the weak topology). In particular, this set is…
We introduce some canonical topologies induced by actions of topological groups on groups and rings. For $H$ being a group [or a ring] and $G$ a topological group acting on $H$ as automorphisms, we describe the finest group [ring] topology…
We study the topological complexity of sets defined using Khovanskii's Pfaffian functions, in terms of an appropriate notion of format for those sets. We consider semi- and sub-Pfaffian sets, but more generally any definable set in the…
In this paper, we develop a basic theory of Orlicz affine and geominimal surface areas for convex and $s$-concave functions. We prove some basic properties for these newly introduced functional affine invariants and establish related…
We extend the result of Nadel describing the relationship between approximations of canonical Scott sentences and admissible sets to the general case of orbit equivalence relations induced on an arbitrary Polish space by a Polish group…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We provide conditions which guarantee that ergodic measures are dense in the simplex of invariant probability measures of a dynamical system given by a continuous map acting on a Polish space. Using them we study generic properties of…
In this note, we characterize when the Vietoris space of compact subsets of a given space has the Hurewicz property in terms of a selection principle on the given space itself using $k$-covers and the notion of groupability introduced by…
The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an…
Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…
A version of group cohomology for locally compact groups and Polish modules has previously been developed using a bar resolution restricted to measurable cochains. That theory was shown to enjoy analogs of most of the standard algebraic…
This survey paper concerns mainly with some asymptotic topological properties of finitely presented discrete groups: quasi-simple filtration (QSF), geometric simple connectivity (GSC), topological inverse-representations, and the notion of…
The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
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…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…
We define the concept of $(\mathscr{F},\mathscr{G})-$shadowing property on uniform space and say it as a topological $(\mathscr{F},\mathscr{G})-$shadowing property. We show that topological shadowing, topological…
In recent years, the ergodic theory of group actions on homogeneous spaces has played a significant role in the metric theory of Diophantine approximation. We survey some recent developments with special emphasis on Diophantine properties…