452 research outputs found
Indestructibility of compact spaces
In this article we investigate which compact spaces remain compact under
countably closed forcing. We prove that, assuming the Continuum Hypothesis, the
natural generalizations to -sequences of the selection principle and
topological game versions of the Rothberger property are not equivalent, even
for compact spaces. We also show that Tall and Usuba's "-Borel
Conjecture" is equiconsistent with the existence of an inaccessible cardinal.Comment: 18 page
On constructions with -cardinals
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 -cardinals. 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 of property for regular
satisfying .Comment: Minor correction
Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse
We work with symmetric extensions based on L\'{e}vy Collapse and extend a few
results of Arthur Apter. We prove a conjecture of Ioanna Dimitriou from her
P.h.d. thesis. We also observe that if is a model of ZFC, then
can be preserved in the symmetric extension of in terms of
symmetric system , if
is -distributive and is -complete.
Further we observe that if is a model of ZF + , then
can be preserved in the symmetric extension of in terms of
symmetric system , if
is -strategically closed and is
-complete.Comment: Revised versio
Laver and set theory
In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted manuscrip
When is .999... less than 1?
We examine alternative interpretations of the symbol described as nought,
point, nine recurring. Is "an infinite number of 9s" merely a figure of speech?
How are such alternative interpretations related to infinite cardinalities? How
are they expressed in Lightstone's "semicolon" notation? Is it possible to
choose a canonical alternative interpretation? Should unital evaluation of the
symbol .999 . . . be inculcated in a pre-limit teaching environment? The
problem of the unital evaluation is hereby examined from the pre-R, pre-lim
viewpoint of the student.Comment: 28 page
Some topological invariants and biorthogonal systems in Banach spaces
We consider topological invariants on compact spaces related to the sizes of
discrete subspaces (spread), densities of subspaces, Lindelof degree of
subspaces, irredundant families of clopen sets and others and look at the
following associations between compact topological spaces and Banach spaces: a
compact K induces a Banach space C(K) of real valued continuous functions on K
with the supremum norm; a Banach space X induces a compact space - the dual
ball with the weak* topology. We inquire on how topological invariants on K and
the dual ball are linked to the sizes of biorthogonal systems and their
versions in C(K) and X respectively. We gather folkloric facts and survey
recent results like that of Lopez-Abad and Todorcevic that it is consistent
that there is a Banach space X without uncountable biorthogonal systems such
that the spread of the dual ball is uncountable or that of Brech and Koszmider
that it is consistent that there is a compact space where spread of the square
of K ic countable but C(K) has uncountable biorthogonal systems
- …