Two forcing conditions are compatible when they have a common stronger extension. In standard notation this means that some satisfies ; in Jerusalem notation for forcing it means that some satisfies .
Two forcing conditions are incompatible when they have no common stronger extension.

Ancestors (6)

  1. Forcing
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version