Related papers: First countable spaces without point-countable $\p…

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We show that the topology of pointwise convergence on scattered spaces is compatible with the group structure of their homeomorphism group. We then establish a few topological properties of the homeomorphism group of the first uncountable…

A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among…

A space $X$ is of countable type (resp. subcountable type) if every compact subspace $F$ of $X$ is contained in a compact subspace $K$ that is of countable character (resp. countable pseudocharacter) in $X$. In this paper, we mainly show…

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed…

For every n, we construct a metric measure space that is doubling, satisfies a Poincare inequality in the sense of Heinonen-Koskela, has topological dimension n, and has a measurable tangent bundle of dimension 1.

We prove that any topological group $G$ containing a subspace $X$ of the Sorgenfrey line has spread $s(G)\ge s(X\times X)$. Under OCA, each topological group containing an uncountable subspace of the Sorgenfrey line has uncountable spread.…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We provide analogues of the results from [FMR11, CMMR13] in the reference list (which correspond to the case $\kappa = \omega$) for arbitrary $\kappa$-Souslin quasi-orders on any Polish space, for $\kappa$ an infinite cardinal smaller than…

We prove that there exists a countable infinite sequence of non-empty special $\Pi^0_1$ classes $\{\mathcal{P}_i\}_{i\in\omega}$ such that no infinite union of elements of any $\mathcal{P}_i$ computes the halting set. We then give a…

We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological…

In the context of generalized descriptive set theory, we systematically compare and analyze various notions of Polish-like spaces and standard $\kappa$-Borel spaces for $\kappa$ an uncountable (regular) cardinal satisfying $\kappa^{<\kappa}…

A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which…

We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or…

A space X is called an alpha-Toronto space if X is scattered of Cantor-Bendixson rank alpha and is homeomorphic to each of its subspaces of same rank. We answer a question of Steprans by constructing a countable alpha-Toronto space for each…

Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small…

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

A topological space $L$ is called a linear ordered topological space (LOTS) whenever there is a linear order $\leq$ on $L$ such that the topology on $L$ is generated by the open sets of the form $(a, b)$ with $a < b$ and $a, b \in L \cup \{…

A direction in a Type I space $X=\cup_{\alpha<\omega_1}X_\alpha$ is a closed and unbounded subset $D$ of $X$ such that given any continuous $f:X\to\mathbb{L}_{\ge 0}$ (the closed long ray), if $f$ is unbounded on $D$ then $f$ is unbounded…

This paper addresses several questions of Feng, Gruenhage, and Shen which arose from Michael's theory of continuous selections from countable spaces. We construct an example of a space which is $L$-selective but not $\mathbb{Q}$-selective…