Skip to main content
Tristan vd Vlugt's user avatar
Tristan vd Vlugt's user avatar
Tristan vd Vlugt's user avatar
Tristan vd Vlugt
  • Member for 2 years, 2 months
  • Last seen this week
comment
Forcing equivalence and equal generic extensions
@Joel My apologies, I was indeed a bit sloppy. I've rephrased it in terms of forcing, which I find a more natural way of looking at it. If I'm not mistaken, Theorem 1 from your blog post implies that for almost equivalent complete BAs (under my rephrased definition), every condition has a cone equivalent to a cone from the other forcing.
revised
Loading…
Loading…
awarded
awarded
Loading…
awarded
Loading…
Loading…
awarded
comment
Extending normal filters
You must be reading my mind by responding to my question within 6 seconds...
accepted
comment
Extending normal filters
Thank you! Does this work in the other direction, i.e., if we assume $\kappa$ is $\lambda$-supercompact, then does my desired property hold?
asked
Loading…
Loading…
awarded
awarded
Loading…
awarded