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)

    A man’s interest in a single bluebird is worth more than a complete but dry list of the fauna and flora of a town.
    Henry David Thoreau (1817–1862)

    “Who cares what they say? It’s a nice way to live,
    Just taking what Nature is willing to give,
    Not forcing her hand with harrow and plow.”
    Robert Frost (1874–1963)

    Even the simple act that we call “going to visit a person of our acquaintance” is in part an intellectual act. We fill the physical appearance of the person we see with all the notions we have about him, and in the totality of our impressions about him, these notions play the most important role.
    Marcel Proust (1871–1922)