List of Forcing Notions

List Of Forcing Notions

In mathematics, forcing is a method of constructing new models M of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the 'extension'); to force a statement of interest thus requires construction of a suitable P. This article lists some of the posets P that have been used in this construction.

Read more about List Of Forcing Notions:  Notation, Definitions, Cohen Forcing, Grigorieff Forcing, Hechler Forcing, Jockusch–Soare Forcing (a.k.a. Forcing With Classes), Laver Forcing, Levy Collapsing, Magidor Forcing, Mathias Forcing, Namba Forcing, Prikry Forcing, Product Forcing, Radin Forcing, Random Forcing, Sacks Forcing, Shooting A Fast Club, Shooting A Club With Countable Conditions, Shooting A Club With Finite Conditions, Silver Forcing

Famous quotes containing the words list of, list, forcing and/or notions:

    Every morning I woke in dread, waiting for the day nurse to go on her rounds and announce from the list of names in her hand whether or not I was for shock treatment, the new and fashionable means of quieting people and of making them realize that orders are to be obeyed and floors are to be polished without anyone protesting and faces are to be made to be fixed into smiles and weeping is a crime.
    Janet Frame (b. 1924)

    Weigh what loss your honor may sustain
    If with too credent ear you list his songs,
    Or lose your heart, or your chaste treasure open
    To his unmastered importunity.
    William Shakespeare (1564–1616)

    Already determined dawn began to lay
    In place across a cloud the slender ray
    For prying beneath and forcing the lids of sight,
    And loosing the pent-up music of overnight.
    Robert Frost (1874–1963)

    the full analysis of the notions of saying something and understanding what one said inevitably involves a concept which, as I will show in detail, essentially corresponds to the Cartesian idea of thought.
    Zeno Vendler (b. 1921)