[permalink] [id link]
Page "Axiom of choice" ¶ 51
from Wikipedia
Promote Demote Fragment Fix

Some Related Sentences

** and If
** 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.
** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).
** If a team is penalized in the final minute of a half and the penalty causes the clock to stop, the opposing team now has the right to have 10 seconds run off the clock in addition to the yardage penalty.
** Mind Transferral: If Xavier were to die, he could transfer his mind and powers to a host body.
** " If It Works, It's Not AI: A Commercial Look at Artificial Intelligence startups "
** If O takes center ( best move for him ), X should take the corner opposite the original, and proceed as detailed above.
** If O plays a corner or side-middle first, X is guaranteed to win:
** If the tie is between two clubs, then the tie is broken using the head-to-head goal difference ( without away goals rule )
** If the tie is between more than two clubs, then the tie is broken, using the games the clubs have played against each other:
** If the Competition Committee removes a penalty, the points are also removed
** If an error occurs at any state of the FSM process, the BGP session is terminated immediately and returned to the Idle state.
** If an error occurs, BGP moves to the Active state.
** If the router was unable to establish a successful TCP session, then it ends up in the Active state.
** If it is unsuccessful again, the FSM is reset to the Idle state.
** If there is an error it is because one of the fields in the Open message doesn ’ t match between the peers, e. g. BGP version mismatch, MD5 password mismatch, the peering router expects a different My AS.
** If there is no error, a Keepalive message is sent, various timers are set and the state is changed to OpenConfirm.
** If a Keepalive message is received and no timer has expired before reception of the Keepalive, BGP transitions to the Established state.
** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.
** If there is any error in the Update message then a Notification message is sent to the peer, and BGP transitions back to the Idle state.
** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.
** If A < sup > p </ sup > B and B < sup > p </ sup > C then A < sup > p </ sup > C.
** If A is preferred to B and C is infinitesimally close to B then A is preferred to C.
** April 20 – Cicero, in Rome, writes to Varro " If our voices are no longer heard in the Senate and in the Forum, let us follow the example of the ancient sages and serve our country through our writings, concentrating on questions of ethics and constitutional law.
** If the maximum DNL error is less than 1 LSB, then the converter is guaranteed to be monotonic.

** and two
** Binary explosive, an explosive made of two components that become explosive when mixed
** Binary chemical weapon, containing two chemicals that when combined make a toxic agent
** On placekicks, no offensive lineman can now be engaged by more than two defensive players.
** Mine Exploder T7: Frame with small rollers with two discs each.
** The reinforce band is only present if the cannon has two reinforces, and it divides the first reinforce from the second.
** Frog Xenopus ( includes two species: Xenopus laevis and Xenopus tropicalis )
** Series two: 13 episodes of 30 minutes broadcast between 19 February 1969 to 14 May 1969, Wednesdays at 17: 20.
** Electrostatic discharge, sudden and momentary electric current flows between two objects
** quadratic equation has degree two,
** Principal Doctrines-the original Greek, two English translations, and a parallel mode
** EDIF Questions and answers, volume two, February 1989
** Sliabh Luachra fiddling from the southwest in Munster, characterized by a unique repertoire of polkas and slides, as well as the use of double stops and drones as well as playing the melody in two octaves as in Donegal.
** Priscus Attalus in Rome ( two times );
** Gentbrugge Station: a regional train station in between the two main train stations, Sint-Pieters and Dampoort.
** For some verbs in some languages, the difference between perfective and imperfective conveys an additional meaning difference ; in such cases, the two aspects are typically translated using separate verbs in English.
** Kyūshū Yūsen operates the route between Fukuoka, Iki, and the two ports of Tsushima.
** Kyūshū Shōsen operates the route between Nagasaki and the two of Gotō Islands, namely Fukuejima and Nakadōrijima.
** a direct interaction occurs when one object is on a level exactly one higher or one lower than the other ( i. e., on a tree, the two objects have a line between them )
** Hemlock ( Conium ), two species, one formerly used as a method of execution
** for his profound contributions to two major areas of operations research and management science: stochastic networks and mathematical finance.
** Yaroslavl ( two towers )
** A definition match algorithm was created to automatically merge the correct meanings of ambiguous words between the two online resources, based on the words that the definitions of those meanings have in common in LDOCE and WordNet.
** Pyay – Myade / Aunglan – Satthwa 145 · 4 Alternative route to Bagan, but heavy grades, sharp curves and danger of washouts mean the line is only used by two trains / week
** 7 partitions with two classes ( 4 of 3 + 1 and 3 of 2 + 2 ), giving 7 × 3

0.403 seconds.