30 research outputs found
Preserving Preservation
We present preservation theorems for countable support iteration of nep
forcing notions satisfying ``old reals are not Lebesgue null'' and ``old reals
are not meager''. (Nep is a generalization of Suslin proper.) We also give some
results for general Suslin ccc ideals
On what I do not understand (and have something to say): Part I
This is a non-standard paper, containing some problems in set theory I have
in various degrees been interested in. Sometimes with a discussion on what I
have to say; sometimes, of what makes them interesting to me, sometimes the
problems are presented with a discussion of how I have tried to solve them, and
sometimes with failed tries, anecdote and opinion. So the discussion is quite
personal, in other words, egocentric and somewhat accidental. As we discuss
many problems, history and side references are erratic, usually kept at a
minimum (``see ... '' means: see the references there and possibly the paper
itself).
The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The
other half, concentrating on model theory, will subsequently appear
Non-elementary proper forcing
We introduce a simplified framework for ord-transitive models and Shelah's
non elementary proper (nep) theory. We also introduce a new construction for
the countable support nep iteration
Cichoń’s diagram for uncountable cardinals
We develop a version of Cichoń’s diagram for cardinal invariants on the generalized Cantor space 2 κ or the generalized Baire space κ κ , where κ is an uncountable regular cardinal. For strongly inaccessible κ, many of the ZFC-results about the order relationship of the cardinal invariants which hold for ω generalize; for example, we obtain a natural generalization of the Bartoszyński–Raisonnier–Stern Theorem. We also prove a number of independence results, both with < κ-support iterations and κ-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants