Researcher profile

Piotr Borodulin-Nadzieja

Piotr Borodulin-Nadzieja contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

preprint2022arXiv

There is a P-measure in the random model

We say that a finitely additive probability measure $μ$ on $ω$ is \emph{a P-measure} if it vanishes on points and for each decreasing sequence $(E_n)$ of infinite subsets of $ω$ there is $E\subseteqω$ such that $E\subseteq^* E_n$ for each $n\inω$ and $μ(E) = \lim_{n\to\infty}μ(E_n)$. Thus, P-measures generalize in a natural way P-points and it is known that, similarly as in the case of P-points, their existence is independent of $\mathsf{ZFC}$. In this paper we show that there is a P-measure in the model obtained by adding any number of random reals to a model of $\mathsf{CH}$. As a corollary, we obtain that in the classical random model $ω^*$ contains a nowhere dense ccc closed P-set.

preprint2021arXiv

On sequences of homomorphisms into measure algebras and the Efimov Problem

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of sequences in $\mathcal{H}(\mathbb{A},\mathbb{B})$. We are in particular interested in the situation when $\mathbb{B}$ is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on $\mathbb{A}$ in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin's result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on $\mathcal{H}(\mathbb{A},\mathbb{B})$ for a Boolean algebra $\mathbb{B}$ carrying a strictly positive measure and convergence properties of sequences of measures on $\mathbb{A}$.

preprint2014arXiv

Representations of ideals in Polish groups and in Banach spaces

We investigate ideals of the form $\{A \subseteq ω\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\inω}$ is a sequence in a Polish group or in a Banach space. If an ideal on $ω$ can be seen in this form for some sequence in $X$, then we say that it is representable in $X$. After numerous examples we show the following theorems: (1) An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. (2) An ideal is representable in a Banach space iff it is a non-pathological analytic P-ideal. We focus on the family of ideals representable in $c_0$. We prove that the trace of the null ideal, Farah's ideal, and Tsirelson ideals are not representable in $c_0$, and that a tall $F_σ$ P-ideal is representable in $c_0$ iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable in $\ell_1$ but not in $\mathbb{R}$. Finally, we summarize some open problems of this topic.

preprint2012arXiv

Sequential closure in the space of measures

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of arbitrarily high levels of complexity in this sequential hierarchy. It follows that there is a compact space in which the sequential closure cannot be obtained in countably many steps. However, we show that this is not the case for our spaces where the sequential closure is always obtained in countably many steps.

preprint2011arXiv

On the isomorphism problem for measures on Boolean algebras

The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly regular measure are metrically isomorphic to a subalgebras of the Jordan algebra with the Lebesgue measure. We give some partial analogues to be used for a classification of algebras that support a finitely additive non-atomic measure with a higher uniform regularity number. We show that some naturally induced equivalence relations connected to metric isomorphism are quite complex even on the Cantor algebra and therefore probably we cannot hope for a nice general classification theorem for finitely--additive measures. We present an example of a Boolean algebra which supports only separable measures but no uniformly regular one.