Foundations for abstract forcing
Peter M. Johnson
TL;DR
This paper revisits the foundational aspects of forcing theory, simplifying its presentation and demonstrating its broad applicability across various contexts.
Contribution
It provides a streamlined foundation for forcing theory, emphasizing its general applicability and simplifying core results.
Findings
Simplified presentation of forcing foundations
Generalized applicability of forcing results
Enhanced understanding of forcing in diverse contexts
Abstract
The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Advanced Topology and Set Theory