Related papers: A note on Stone-\v{C}ech compactification in ZFA

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

In the past few decades, much has been done regarding the descriptive set theory of separable Banach spaces. However, the descriptive properties of separable Fr\'echet spaces have not yet been investigated. In these notes, we look at this…

Using the standard tools of Daniell-Stone integrals, Stone-\v{C}ech compactification and Gelfand transform, we discuss how any Dirichlet form defined on a measurable space can be transformed into a regular Dirichlet form on a locally…

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces…

We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

Generalizing Block and Weinberger's characterization of amenability we introduce the notion of uniformly finite homology for a group action on a compact space and use it to give a homological characterization of topological amenability for…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object…

We extend the classical theorem of Uchiyama about constructive Fefferman-Stein decompositions of ${\rm BMO}$ functions by systems of singular integrals to the rational Dunkl setting. On $\mathbb{R}^N$ equipped with a root system $R$ and a…

It was proved that whenever N is partitioned into finitely many cells, one cell must contain arbitrary length geo-arithmetic progressions. It was also proved that arithmetic and geometric progressions can be nicely intertwined in one cell…

Given a cartesian closed category $\mathcal{V}$, we introduce an internal category of elements $\int_\mathcal{C} F$ associated to a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$. When $\mathcal{V}$ is extensive,…

A topological space $X$ is called submaximal if every dense subset of $X$ is open. In this paper, we show that if $\beta X$, the Stone-\v{C}ech compactification of $X$, is a submaximal space, then $X$ is a compact space and hence $\beta…

We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…

The class of $\mu$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class…

We prove the density of polyhedral partitions in the set of finite Caccioppoli partitions. Precisely, we consider a decomposition $u$ of a bounded Lipschitz set $\Omega\subset\mathbb R^n$ into finitely many subsets of finite perimeter,…

Laver, and Woodin independently, showed that models of ${\rm ZFC}$ are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground model definability for models of fragments of ${\rm ZFC}$,…

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K^m let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

We present a model-theoretic property of finite structures, that can be seen to be a finitary analogue of the well-studied downward L\"owenheim-Skolem property from classical model theory. We call this property as the…