** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Express kidnapping, a method of abduction where a small ransom that a company or family can easily pay is requested

** for an-sentence conversation where the oracle remembers the conversation history ( persistent oracle ):

** for an-sentence conversation where the conversation history must be retransmitted:

** for an-sentence conversation where the conversation history must be retransmitted and the person takes linear time to read the query

** Museum Koenig where the Parlamentarischer Rat first met

** An oscillating member where this clutch can then convert the oscillations into intermittent linear or rotational motion of the complimentary member ; others use ratchets with the pawl mounted on a moving member

** The breech refers to the mass of solid metal behind the bottom of the bore extending to the base of the breech and including the base ring ; it also generally refers to the end of the cannon opposite the muzzle, i. e., the location where the explosion of the gunpowder begins as opposed to the opening through which the pressurized gas escapes.

** Romano-Germanic subgroup ( comprising those legal systems where legal science was formulated according to Roman Law-see also Civil law ( legal system ))

** X register and Y register-They are number stores where numbers are stored temporarily while doing calculations.

** User memory ( RAM )-The store where numbers can be stored by the user.

** Wharf, a fixed platform, commonly on pilings, where ships are loaded and unloaded

** Anomalous dynamics ( Random walk # Anomalous diffusion ), the stochastic motion of objects with mean squared displacement ( MSD ) that deviates from the relation for normal dynamics, MSD ~ t, where t is the time the process is seen ; anomalous dynamics are either faster than normal dynamics ( MSD > t ) or slower ( MSD < t )

** Brownian dynamics, the occurrence of Langevin dynamics in the motion of particles in solution ( e. g. a grain in water, as was first seen by Brown ); its famous property is: MSD ~ t, where MSD is the mean squared displacement, and t is the time the process is seen

** Normal dynamics, is a stochastic motion having a Gaussian probability density function in position with variance MSD that follows, MSD ~ t, where MSD is the mean squared displacement of the process, and t is the time the process is seen ( normal dynamics and Brownian dynamics are very similar ; the term used depends on the field )

** For example, consider the map ( which is the " realification " of the complex square function ) where U

** Diffusing defects such as pulmonary fibrosis where the Aa gradient has increased.

** Hosts file, a computer file to be used to store information on where to find an internet host on a computer network

** Rose tanned leather is a variation of vegetable oil tanning and brain tanning, where pure rose otto replaces the vegetable oil and emulsified oils.

** ( n / p ), the Legendre symbol, considered as a function of n where p is a fixed prime number.

** Node ( botany ), the place on a plant stem where a leaf is attached

** Orbital node, the points where an orbit crosses a plane of reference

** Node ( physics ), a point along a standing wave where the wave has minimal amplitude

** In a 2011 episode of Misfits, an alternate reality where Germany won the Second World War, depicts Britain and the gang under the rule of the Nazi occupation force.

** Old Believings It was believed that in England in the 14th century, that plains of any kind is where the dead wandered searching for their revenge.

** 28 YDM4s on lease from Indian Railways, manufactured by Diesel Locomotive Works, Varanasi, India brought into Malaysia in the late 1990s.

** the outstanding term of the lease

** On 1 January 1880 the Cork and Bandon Railway took over the C & KJR, the WCR and the lease of the IVR including its proposed Bantry extension.

** Acquired auto lease business of Cross-Canada Car Leasing Limited ( Toronto, ON )

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** Any union of countably many countable sets is itself countable.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.