Thanks for sharing :-) See the write-up here doi.org/10.4225/55/5b2252e3092af I wish I could amend my abstract to say "...but it is clear that, at least sometimes, class forcing is about taking small sheaves on a large site". There are certain examples that deal with non-small sheaves, for instance Jensen coding, but I didn't realise this until a while after the talk.
Пікірлер: 1