forcing condition
Смотреть что такое "forcing condition" в других словарях:
Forcing (recursion theory) — Forcing in recursion theory is a modification of Paul Cohen s original set theoretic technique of forcing to deal with the effective concerns in recursion theory. Conceptually the two techniques are quite similar, in both one attempts to build… … Wikipedia
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
Forcing — En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en… … Wikipédia en Français
third-line forcing — Forcing a buyer to take a supply of something unwanted as a condition of supplying him or her with a desired product. The practice is deprecated by the Restrictive Practices Court (see restrictive trade practices) … Big dictionary of business and management
List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] 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… … Wikipedia
Countable chain condition — See also: Forcing (set theory)#The countable chain condition In order theory, a partially ordered set X is said to satisfy the countable chain condition, or to be ccc, if every strong antichain in X is countable. There are really two conditions:… … Wikipedia
Proper forcing axiom — In the mathematical field of set theory, the proper forcing axiom ( PFA ) is a significant strengthening of Martin s axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings. Statement A forcing or partially… … Wikipedia
Third line forcing — is a form of exclusive dealing involving the supply of goods or services on the condition that the purchaser buys goods or services from a particular third party, or a refusal to supply because the purchaser will not agree to that condition.Third … Wikipedia
full-line forcing — The supplying of a particular product by a company to a customer only on condition that the customer takes the whole range of the company s product • • • Main Entry: ↑full … Useful english dictionary
List of Deadliest Catch episodes — This is a list of Deadliest Catch episodes with original airdate on Discovery Channel. Airdates on Discovery Channel Canada generally differ. Contents 1 Pilot 2 Season 1 3 Season 2 4 Season 3 … Wikipedia
Germany — /jerr meuh nee/, n. a republic in central Europe: after World War II divided into four zones, British, French, U.S., and Soviet, and in 1949 into East Germany and West Germany; East and West Germany were reunited in 1990. 84,068,216; 137,852 sq.… … Universalium