First Steps Towards a Formalization of Forcing

Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf. First Steps Towards a Formalization of Forcing. Electronic Notes in Theoretical Computer Science, 344:119-136, 2019. [doi]

Authors

Emmanuel Gunther

This author has not been identified. Look up 'Emmanuel Gunther' in Google

Miguel Pagano

This author has not been identified. Look up 'Miguel Pagano' in Google

Pedro Sánchez Terraf

This author has not been identified. Look up 'Pedro Sánchez Terraf' in Google