First Steps Towards a Formalization of Forcing
Work
Year: 2019
Type: article
Abstract: We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formali... more
Institution Universidad Nacional de Córdoba
Cites: 24
Cited by: 2
Related to: 10
FWCI: 0.281
Citation percentile (by year/subfield): 46.09
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold
Grant ID 33620180100465CB