281 research outputs found
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
Stationary reflection principles and two cardinal tree properties
We study consequences of stationary and semi-stationary set reflection. We
show that the semi stationary reflection principle implies the Singular
Cardinal Hypothesis, the failure of weak square principle, etc. We also
consider two cardinal tree properties introduced recently by Weiss and prove
that they follow from stationary and semi stationary set reflection augmented
with a weak form of Martin's Axiom. We also show that there are some
differences between the two reflection principles which suggest that stationary
set reflection is analogous to supercompactness whereas semi-stationary set
reflection is analogous to strong compactness.Comment: 19 page
- …