Skip to content

Set Theoretic Forcing History

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Set Theoretic Forcing History.

  • Ramified forcing — Cohen's original forcing construction, which adds a generic object while building names through a hierarchy ramified by formula complexity and constructibility assumptions.