On Sunday, September 30, 2018 at 4:50:01 AM UTC-5, Bruno Marchal wrote: > > [Re:] forcing theory in set theories with classes. > > > Bruno > > > Do you follow the work of Joel David Hamkins (forcing applied to set-theoretic "multiverse", etc.)
(I have a basic idea of a type-theoretic parallel to this.) *The set-theoretic multiverse* https://arxiv.org/abs/1108.4223 Joel David Hamkins @JDHamkins Professor of Logic, University of Oxford, and Sir Peter Strawson Fellow in Philosophy, University College Oxford. Formerly of New York. http://jdh.hamkins.org - pt -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
