Suppose $\kappa$ is inaccessible (or more). Does there exist a $\kappa$c.c. partial order $\mathbb P \subseteq V_\kappa$ that forces $\kappa = \aleph_1$, with the following property? Whenever $G \subseteq \mathbb P$ is generic over $V$, there does not exist any $H \not= G$ in $V[G]$ which is also $\mathbb P$generic over $V$.
$\begingroup$
$\endgroup$
20

$\begingroup$ I imagine that some Easton iteration which collapses the regular cardinals below $\kappa$ while coding the generic into some definable real might do the trick? $\endgroup$– Asaf Karagila ♦Commented Sep 21, 2017 at 16:12

$\begingroup$ If $\kappa$ is weakly compact, then every real added by $\mathbb P$ exists in an intermediate model by a forcing of size $<\kappa$. $\endgroup$– Monroe EskewCommented Sep 21, 2017 at 16:14

$\begingroup$ Well. Iterate the whole thing with coding the generic into a real or something? $\endgroup$– Asaf Karagila ♦Commented Sep 21, 2017 at 16:14

$\begingroup$ Sounds promising. I don't know this technique. $\endgroup$– Monroe EskewCommented Sep 21, 2017 at 16:17

1$\begingroup$ Well. I'll definitely drop by the KGRC sometime next week. $\endgroup$– Asaf Karagila ♦Commented Sep 21, 2017 at 16:37

Show 15 more comments
1 Answer
$\begingroup$
$\endgroup$
1
The answer is positive when $\kappa$ is Mahlo. Please email me for a draft if you are interested.

$\begingroup$ I'd be interested to see the write up. However, I don't have a current email for you, complicating things. $\endgroup$– Not MikeCommented Nov 8, 2017 at 18:58