Source author record

Adam Kwela

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GN math.DS math.FA

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Critical partition regular functions for compact spaces

We study ideal-based refinements of sequential compactness arising from the class FinBW(I), consisting of topological spaces in which every sequence admits a convergent subsequence indexed by a set outside a given ideal I. A central theme of this work is the existence of critical ideals whose position in the Katetov order determines the relationship between a fixed class of spaces and the corresponding FinBW(I) classes. Building on earlier results characterizing several classical topological classes via such ideals, we extend this theory to a broader framework based on partition regular functions, which unifies ordinary convergence with other non-classical convergence notions such as IP- and Ramsey-type convergence. Furthermore, we investigate the existence of critical ideals associated with function classes motivated by Mazurkiewicz's theorem on uniformly convergent subsequences.

preprint2026arXiv

Sets of Ramsey-limit points and IP-limit points

Let $X$ be an uncountable Polish space and let $\mathcal{H}$ be the Hindman ideal, that is, the family of all $S\subseteq ω$ which are not $IP$ -sets. For each sequence $x=(x_n)_{n \in ω}$ taking values in $X$ , let $Λ_{x}(FS)$ be the set of $IP$ -limit points of $x$ . Also, let $Λ_{x}(\mathcal{H})$ be the set of $\mathcal{H}$ -limit points of $x$ , that is, the set of ordinary limits of subsequences $(x_n)_{n \in S}$ with $S\notin \mathcal{H}$ . After proving that these two notions do not coincide in general, we show that both families of nonempty sets of the type $Λ_{x}(FS)$ and of the type $Λ_{x}(\mathcal{H})$ are precisely the class of nonempty analytic subsets of $X$ . An analogous result holds also for Ramsey convergence. In the proofs, we use the concept of partition regular functions introduced in J. Symb. Log. (2024) [doi:10.1017/jsl.2024.8], which provide a unified approach to these types of convergence.

preprint2020arXiv

Differentiability of continuous functions in terms of Haar-smallness

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space $C[0,1]$ . By a recent result of Banakh et al., a set is Haar-null provided that there is a Borel hull $B\supseteq A$ and a continuous map $f\colon \{0,1\}^\mathbb{N}\to C[0,1]$ such that $f^{-1}[B+h]$ is Lebesgue's null for all $h\in C[0,1]$ . We prove that $\mathcal{SD}$ is not Haar-countable (i.e., does not satisfy the above property with "Lebesgue's null" replaced by "countable", or, equivalently, for each copy $C$ of $\{0,1\}^\mathbb{N}$ there is an $h\in C[0,1]$ such that $\mathcal{SD}\cap (C+h)$ is uncountable. Moreover, we use the above notions in further studies of differentiability of continuous functions. Namely, we consider functions differentiable on a set of positive Lebesgue's measure and functions differentiable almost everywhere with respect to Lebesgue's measure. Furthermore, we study multidimensional case, i.e., differentiability of continuous functions defined on $[0,1]^k$ . Finally, we pose an open question concerning Takagi's function.

preprint2014arXiv

Ranks of $\mathcal{F}$ -limits of filter sequences

We give an exact value of the rank of an $\mathcal{F}$ -Fubini sum of filters for the case where $\mathcal{F}$ is a Borel filter of rank $1$ . We also consider $\mathcal{F}$ -limits of filters $\mathcal{F}_i$ , which are of the form $\lim_\mathcal{F}\mathcal{F}_i=\left\{A\subset X: \left\{i\in I: A\in\mathcal{F}_i\right\}\in\mathcal{F}\right\}$ . We estimate the ranks of such filters; in particular we prove that they can fall to $1$ for $\mathcal{F}$ as well as for $\mathcal{F}_i$ of arbitrarily large ranks. At the end we prove some facts concerning filters of countable type and their ranks.

preprint2013arXiv

Topological representations

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$ , a $σ$ -ideal $I$ on $X$ and a dense countable subset $D$ of $X$ such that the ideal consists of those subsets of $D$ whose closure belongs to $I$ . It turns out that this definition is indepedent of the choice of $D$ . We show that an ideal is of this form if and only if it is dense and countably separated. The latter is a variation of a notion introduced by Todor\vcević for gaps. As a corollary, we get that this class is invariant under the Rudin--Blass equivalence. This also implies that the space $X$ can be always chosen to be compact so that $I$ is a $σ$ -ideal of compact sets. We compute the possible descriptive complexities of such ideals and conclude that all analytic equivalence relations induced by such ideals are $\mathbfΠ^0_3$ . We also prove that a coanalytic ideal is an intersection of ideals of this form if and only if it is weakly selective.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Adam Kwela

Research overview

Is this your work?

5 publications

Critical partition regular functions for compact spaces

Sets of Ramsey-limit points and IP-limit points

Differentiability of continuous functions in terms of Haar-smallness

Ranks of $\mathcal{F}$ -limits of filter sequences

Topological representations

See the researcher in context

Building this map preview

Adam Kwela

Research overview

Is this your work?

5 publications

Critical partition regular functions for compact spaces

Sets of Ramsey-limit points and IP-limit points

Differentiability of continuous functions in terms of Haar-smallness

Ranks of F\mathcal{F}F-limits of filter sequences

Topological representations

See the researcher in context

Building this map preview

Ranks of $\mathcal{F}$ -limits of filter sequences