An alternative to (set theoretic) https://arxiv.org/abs/2007.00418 Forcing as a computational process
is (type theoretic) http://guilhem.jaber.fr/ComputationalInterpretationForcingTypeTheory.pdf A Computational Interpretation of Forcing in Type Theory -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/bcc8efb5-c60d-473a-860f-30b9311262e5o%40googlegroups.com.
