1,071 research outputs found
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
Subcompact cardinals, squares, and stationary reflection
We generalise Jensen's result on the incompatibility of subcompactness with
square. We show that alpha^+-subcompactness of some cardinal less than or equal
to alpha precludes square_alpha, but also that square may be forced to hold
everywhere where this obstruction is not present. The forcing also preserves
other strong large cardinals. Similar results are also given for stationary
reflection, with a corresponding strengthening of the large cardinal assumption
involved. Finally, we refine the analysis by considering Schimmerling's
hierarchy of weak squares, showing which cases are precluded by
alpha^+-subcompactness, and again we demonstrate the optimality of our results
by forcing the strongest possible squares under these restrictions to hold.Comment: 18 pages. Corrections and improvements from referee's report mad
Club-guessing, stationary reflection, and coloring theorems
We obtain strong coloring theorems at successors of singular cardinals from
failures of certain instances of simultaneous reflection of stationary sets.
Along the way, we establish new results in club-guessing and in the general
theory of ideals.Comment: Initial public versio
- …