Related papers: A new topological generalization of descriptive se…

In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…

This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

Let $G \otimes _f H$ denote the Sierpi\'nski product of graphs $G$ and $H$ with respect to the function $f$. The Sierpi\'nski general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position…

Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property.…

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory.…

Some new classes of compacta $K$ are considered for which $C(K)$ endowed with the pointwise topology has a countable cover by sets of small local norm--diameter.

Let $\mathcal{P}$ be a topological property. A.V. Arhangel'skii calls $X$ projectively $\mathcal{P}$ if every second countable continuous image of $X$ is $\mathcal{P}$. Lj.D.R. Ko$\check{c}$inac characterized the classical covering…

We are concerned with questions of the following type. Suppose that $G$ and $K$ are topological groups belonging to a certain class $\cal K$ of spaces, and suppose that $\phi:K \to G$ is an abstract (i.e. not necessarily continuous)…

A Polish group $G$ has the generic point property if any minimal $G$-flow admits a comeager orbit, or equivalently if the universal minimal flow (UMF) does. The class $\mathsf{GPP}$ of such Polish groups is a proper extension of the class…

We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…

We examine topological spaces not distinguishing ideal pointwise and ideal $\sigma$-uniform convergence of sequences of real-valued continuous functions defined on them. For instance, we introduce a purely combinatorial cardinal…

The purpose of this article is to prove a generalisation of the Besicovitch-Federer projection theorem about a characterisation of rectifiable and unrectifiable sets in terms of their projections. For an $m$-unrectifiable set…

We generalize the idea of cofinite groups, due to B. Hartley. First we define cofinite spaces in general. Then, as a special situation, we study cofinite graphs and their uniform completions. The idea of constructing a cofinite graph starts…

We show that: 1. Rothberger bounded subgroups of sigma-compact groups are characterized by Ramseyan partition relations. 2. For each uncountable cardinal $\kappa$ there is a ${\sf T}_0$ topological group of cardinality $\kappa$ such that…

This paper introduces a new theory which encompasses concepts and ideas from set theory, type theory, and Le\'{s}niewski's mereology and describes its possibility as an alternative foundation for mathematics. In the introduction section I…

We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubi\'{s} and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023),…

We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the…