**"Foreman`s maximality principle"** states that every non-trivial forcing notion either adds a real or collapses some cardinals. This principle has many consequences including:


1) $GCH$ fails everywhere,


2) there are no inaccessible cardinals,


3) there are no $\kappa-$Souslin trees,


4) Any non-trivial $c.c.c.$ forcing adds a real,


5) Any non-trivial $\kappa^+-$closed forcing notion collapses some cardinals.


Consistency of (1) is proved by Foreman-Woodin, (2) clearly can be consistent and the consistency of (4) is shown in "[Forcing with c.c.c forcing notions, Cohen reals and Random reals](https://mathoverflow.net/questions/146800/forcing-with-c-c-c-forcing-notions-cohen-reals-and-random-reals)".


My interest is in the consistency of (5). Let's consider the case $\kappa=\omega.$


**Question 1.** Is it consistent that any non-trivial $\aleph\_1-$closed forcing notion collapses some cardinals? 


The above question seems very difficult, and it is not difficult to show that for its consistency we need some very large cardinals. But maybe the following is simpler:


**Question 2.** Is it consistent that any non-trivial $\aleph\_1-$closed forcing notion of size continuum collapses some cardinals? Does its consistency imply the existence of large cardinals?



Questions about $\aleph_1-$closed forcing notions
The answer to the second question is yes, without any large cardinals assumptions.


**Claim:** if $2^{\aleph\_0}$ is singular then every non-trivial $\sigma$-closed forcing of size $2^{\aleph\_0}$ collapses the continuum. 


The reason is that such forcing must add a new set of ordinals of size $\lambda < 2^{\aleph\_0}$, $\tau$ (since the minimal $\lambda$ must be regular). I want to code $2^\omega$ into $\tau$. 


If we choose $\lambda$ to be minimal, every initial segment of $\tau$ is in $V$. Now, we can define a function $F\in V$ from all possible initial segments of $\tau$ onto the reals, such that for every $p\in P$ and every $x\in 2^\omega$ there is $q\leq p$ and $\beta < \lambda$ such that $q\Vdash \tau \restriction \beta = \check{a}$ and $F(a)=x$:   

Let $\langle (p\_i, x\_i) | i < 2^{\aleph\_0}\rangle$ enumerate $P\times 2^\omega$. For every $\alpha < 2^{\aleph\_0}$, we use the $\sigma$-closure of $P$ and the fact that $\tau \notin V$ in order to find $q \leq p\_\alpha$ such that $q \neq p\_i$ for every $i < \alpha$, $q\Vdash \tau \restriction \beta = \check{a}$ (for some $\beta$) and $F(a)$ is not determined yet, and set $F(a)=x\_\alpha$:


Let $p = p\_\alpha \in P$. We start by building a tree of $2^{<\omega}$ incompatible conditions $q\_s,\, s\in 2^{<\omega}$ such that $q\_\emptyset = p$ and for every $s\in 2^{<\omega}$, $q\_{s\frown (0)}, q\_{s\frown (1)} \leq q\_s$, there is $\beta\_s < \lambda$ in which $q\_{s\frown (i)} \Vdash \tau \restriction \beta\_s = a\_{s\frown (i)}$ for $i\in\{0,1\}$, $a\_{s\frown (0)} \neq a\_{s \frown (1)}$. This is possible since $\tau \notin V$ but every initial segment of it is in $V$.


For every $f\in 2^\omega$, let $q\_f \in P,\,\forall n\, q\_f \leq q\_{f\restriction n}$ (by the closure of $P$). Without loss of generality, $\forall f \in 2^\omega\,q\_f\Vdash \tau \restriction \beta = \check{a\_f}$, and for every $f\neq f^\prime$, $a\_f \neq a\_{f^\prime}$ (take $\beta = \sup\_{s\in 2^{<\omega}} \beta\_s$). Since we picked already only $|\alpha |<2^{\aleph\_0}$ values, there must be some $f\in 2^\omega$ such that $F(a\_f )$ is not determined.


By density arguments, in $V[G]$, $\{F(\tau \restriction \beta) | \beta < \lambda\} = (2^\omega)^V$. 


