forcing relation
If is a transitive model of set theory and is a partial order then we can define a forcing relation:
( forces )
for any , where are - names.
Specifically, the relation holds if for every generic filter over which contains ,
That is, forces if every of by a generic filter over containing makes true.
If holds for every then we can write to mean that for any generic , .
Title | forcing relation |
---|---|
Canonical name | ForcingRelation |
Date of creation | 2013-03-22 12:53:28 |
Last modified on | 2013-03-22 12:53:28 |
Owner | Henry (455) |
Last modified by | Henry (455) |
Numerical id | 5 |
Author | Henry (455) |
Entry type | Definition |
Classification | msc 03E35 |
Classification | msc 03E40 |
Related topic | Forcing |
Defines | forcing relation |
Defines | forces |