层逻辑、层强迫与连续统假设的独立性
The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
摘要：
介绍了逻辑层的结构和设置理论的基础上，这种逻辑强制建设。使用这些工具，它是一个替代的证明独立的连续统假设，简化和统一的经典布尔和直觉的方法，避免了困难的分类机器的拓扑结构为基础的方法。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
