[permalink] [id link]
** In set theory, the first uncountable ordinal number ( more commonly written as ω < sub > 1 </ sub >)
from
Wikipedia
Some Related Sentences
** and set
** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.
** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.
** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
** 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 ).
** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.
** In particular, the cofinality of any nonzero finite ordinal, or indeed any finite directed set, is 1, since such sets have a greatest element.
** In particular, let A be a set of size n, and consider the set of subsets of A containing no more than m elements.
** The set of infinite strings is the inverse limit of the set of finite strings, and is thus endowed with the limit topology.
** Written communication ( writing ) – representation of language in a textual medium through the use of a set of signs or symbols ( known as a writing system ).
** and theory
** Microevolution: species — speciation — adaptation — selection — natural selection — directional selection — sexual selection — genetic drift — sexual reproduction — asexual reproduction — colony — allele frequency — neutral theory of molecular evolution — population genetics — Hardy-Weinberg principle
** for his profound contributions to three major areas of operations research and management science: inventory theory, dynamic programming and lattice programming.
** Most forms of cognitivism hold that some such propositions are true, as opposed to error theory, which asserts that all are erroneous.
** Error theory, another form of moral anti-realism, holds that although ethical claims do express propositions, all such propositions are false.
1.235 seconds.