




Piotr Koszmider, On the problem of compact totally
disconnected reflection of nonmetrizability 










We construct a ZFC example of a nonmetrizable compact space K such that every totally
disconnected closed subspace L of K is metrizable. In fact,
the construction can be arranged so that every nonmetrizable compact subspace
may be of fixed big dimension.
Then we focus on the problem if a nonmetrizable compact space K must
have a closed subspace with a nonmetrizable totally
disconnected continuous image. This question has several links with
the structure of the Banach space C(K), for example, by Holsztyński's theorem, if K is
a counterexample, then C(K) contains no isometric
copy of a nonseparable Banach space C(L) for L totally disconnected.
We show that in the literature there are diverse consistent counterexamples, most
eliminated by Martin's axiom and the negation of the continuum hypothesis, but
some consistent with it. We analyze the above problem for a particular class of spaces.
OCA+MA however, implies the nonexistence of any
counterexample in this class but the existence of some other absolute example
remains open.
 














Piotr Koszmider, Uncountable equilateral sets in Banach spaces of the form C(K) 










The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable
set of vectors such that the distances between every two distinct vectors of the set are the same.
Such sets are called equilateral. We show that Martin's axiom and the negation of the continuum
hypothesis imply that every nonseparable Banach space of the form C(K) has an uncountable equilateral set.
We also show that one cannot obtain such a result without an additional settheoretic
assumption since we construct an example of nonseparable Banach space of the form C(K)
which has no uncountable equilateral set (or equivalently no uncountable (1+ε)separated set
in the unit sphere for any ε>0) making another consistent combinatorial assumption.
The compact K is a version of the split interval obtained from a sequence of functions which
behave in an antiRamsey manner. It remains open if there is an absolute example of a nonseparable
Banach space of the form different than C(K) which has no uncountable equilateral set.
It follows from the results of S. Mercourakis, G. Vassiliadis that our example has an
equivalent renorming in which it has an uncountable equilateral set.
It remains open if there are consistent examples which have no uncountable equilateral sets
in any equivalent renorming but it follows from the results of
S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.
 














Christina Brech, Piotr Koszmider,
An isometrically universal Banach space induced by a nonuniversal Boolean algebra 










Given a Boolean algebra A, we construct another Boolean algebra B with no uncountable wellordered
chains such that the Banach space of real valued continuous functions C(K _{A}) embeds isometrically into C(K _{B}),
where _{A} and _{B} are the Stone spaces of A and B respectively.
As a consequence we obtain the following: If there exists an isometrically universal
Banach space for the class of Banach spaces of a given uncountable density k,
then there is another such space which is induced by a Boolean algebra which
is not universal for Boolean algebras of cardinality k. Such a phenomenon cannot happen on
the level of separable Banach spaces and countable Boolean algebras.
This is related to the open question if the existence of an isometrically
universal Banach space and of a universal Boolean algebra are equivalent
on the nonseparable level (both are true on the separable level).
Accepted to the Proceedings of the AMS
 














Piotr Koszmider, Cristóbal RodriguezPorras,
On automorphisms of the Banach space l_{∞}/c_{0} 










We investigate Banach space automorphisms of l _{∞}/c _{0} focusing on the possibility of representing their fragments of the form
T_{B,A}:l_{∞}(A)/c_{0}(A) → l_{∞}(B)/c_{0}(B)
for A,B infinite subsets of N by means of linear operators from l _{∞}(A) into l _{∞}(B),
infinite A×Bmatrices, continuous maps from B ^{*} into A ^{*}, or bijections from B to A.
This leads to the analysis of general linear operators on l _{∞}/c _{0}.
We present many examples, introduce and investigate several classes of operators, for some of
them we obtain satisfactory representations and for other give examples showing that it is impossible.
In particular, we show that there are automorphisms of l _{∞}/c _{0} which cannot be lifted to
operators on l _{∞} and assuming OCA+MA we show that every automorphism of l _{∞}/c _{0} with
no fountains or with no funnels is locally, i.e., for some infinite A,B?N as above, induced by a bijection from B to A.
This additional settheoretic assumption is necessary as we show that the continuum hypothesis implies the
existence of counterexamples of diverse flavours.
However, many basic problems, some of which are listed in the last section, remain open.
Accepted to Fundamenta Mathematicae
 














Leandro Candido, Piotr Koszmider; On complemented copies of c_{0}(ω_{1}) in C(K^{n}) spaces 










Given a compact Hausdorff space K we consider the Banach space of real continuous functions C(K ^{n})
or equivalently the nfold injective tensor product of the C(K)s or the Banach space of vector
valued continuous functions C(K,C(K,C(K...,C(K)...). We address the question of the existence of
complemented copies of c _{0}(ω _{1}) in C(K ^{n}) under the hypothesis that C(K)
contains an isomorphic copy of c _{0}(ω _{1}).
This is related to the results of E. Saab and P. Saab that the injective tensor product of X and Y
contains a complemented copy of c _{0}, if one of the infinite dimensional Banach spaces X or Y
contains a copy of c _{0} and of E. M. Galego and J. Hagler that it follows from Martin's Maximum that
if C(K) has density ω _{1} and contains a copy of c _{0}(ω _{1}), then C(K×K) contains
a complemented copy c _{0}(ω _{1}).
The main result is that under the assumption of the club principle for every n in N there is a compact Hausdorff
space K _{n} of weight ω _{1} such that C(K _{n}) is Lindelof in the weak topology,
C(K ^{n}) contains a copy of c _{0}(ω _{1}), C(K _{n}^{n}) does
not contain a complemented copy of c _{0}(ω _{1}) while C(K _{n}^{n+1})
does contain a complemented copy of c _{0}(ω _{1}). This shows that
additional settheoretic assumptions in Galego and Hagler's nonseparable version
of Cembrano and Freniche's theorem are necessary as well as clarifies in the negative
direction the matter unsettled in a paper of Dow, Junnila and Pelant whether halfpcc Banach
spaces must be weakly pcc.
 














Piotr Koszmider; On constructions with 2cardinals











We propose developing the theory of consequences of morasses relevant
in mathematical applications in the language alternative to the usual one,
replacing commonly used structures by families of sets originating with Velleman's
neat simplified morasses called 2cardinals. The theory of related trees,
gaps, colorings of pairs and forcing notions is reformulated and sketched
from a unifying point of view with the focus on the applicability to
constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces.
A new result which we obtain as a side product is the consistency of the existence of
a function with the appropriate version Δproperty for arbitrarily big cardinals.
Accepted to a special issue of Archive for Mathematical Logic
 











"Unfortunately, it is also difficult to reach a level
of understanding where one can appreciate the essentailly
combinatorial nature of the underlying problem.
Such a situation is tailormade for
crosscultural collaboration...
such efforts cannot fail to enrich both mathematical cultures"
 T. Gowers 
The two cultures of mathematics
