×

Found 3 Documents (Results 1–3)

First steps towards a formalization of forcing. (English) Zbl 1434.03029

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 119-136 (2019).
MSC:  03B35 03E35 68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field