Related papers: A note on Stone-\v{C}ech compactification in ZFA
We prove that under [CH], finite compactifications of $\omega^* \setminus \{x\}$ are homeomorphic to $\omega^*$. Moreover, in each case, the remainder consists almost exclusively of $P$-points, apart from possibly one point. Similar results…
We introduce a new class of $\varkappa$-metrizable spaces, namely countably $\varkappa$-metrizable spaces. We show that the class of all $\varkappa$-metrizable spaces is a proper subclass of counably $\varkappa$-metrizable spaces. On the…
A condensed set is a sheaf on the site of Stone spaces and continuous maps. We prove that condensed sets are equivalent to sheaves on the site of compact Hausdorff spaces and continuous maps. As an application, we show that there exists a…
We initiate the study of the Stone-\v{C}ech transformation groupoid $\mathcal{G} = \mathcal{S}\ltimes\beta\mathcal{S}$ of an inverse semigroup $\mathcal{S}$. We prove that the properties of being Hausdorff, principal, and effective are all…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set…
In this paper, we discuss some questions about compactness in MV-topological spaces. More precisely, we first present a Tychonoff theorem for such a class of fuzzy topological spaces and some consequence of this result, among which, for…
Given an action of a discrete countable group $G$ on a countable set $\mathfrak{X}$, it is studied the relationship between properties of the associated Calkin representation and the dynamics of the group action on the boundary of the…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
We prove pseudocompactness of a Tychonoff space $X$ and the space $\mathcal{P}(X)$ of Radon probability measures on it with the weak topology under the condition that the Stone-\v{C}ech compactification of the space $\mathcal{P}(X)$ is…
We define a Fr\'echet topology on the space $C^\infty(X)[[\hbar]]$ of formal smooth functions on a symplectic manifold $X$, by constructing a sequence of semi-norms on it. For any star product $\star$ on $C^\infty(X)[[\hbar]]$ making it a…
We will prove that, for any abelian group $G$, the canonical (surjective and continuous) mapping $\boldsymbol{\beta}G \to {\frak b}G$ from the Stone-\v{C}ech compactification $\boldsymbol{\beta}G$ of $G$ to its Bohr compactfication ${\frak…
We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $\mathsf{IKP}$ and $\mathsf{CZF}$. Most previously studied large set axioms, notably the constructive analogues of large…
We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…
The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…
If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…
We investigate for which compactifications $\gamma\omega$ of the discrete space of natural numbers $\omega$, the natural copy of the Banach space $c_0$ is complemented in $C(\gamma\omega)$. We show, in particular, that the separability of…
This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-\v{C}ech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one…
We characterize, in terms of $X$, extensional dimension of the Stone-\v{C}ech corona $\beta X \setminus X$ of locally compact and Lindel\"{o}f space $X$. The non-Lindel\"{o}f case case is also settled in terms of extending proper maps with…