The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
From MaRDI portal
Publication:6229253
Abstract: An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which simplifies and unifies the classical boolean and intuitionistic approaches, avoiding the difficulties linked to the categorical machinery of the topoi based approach.
This page was built for publication: The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6229253)
