strong axiom
Смотреть что такое "strong axiom" в других словарях:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom computer algebra system — Infobox Software name = Axiom developer = Independent group of people operating system = Cross Platform genre = Computer Algebra System license = modified BSD License website = [http://axiom.axiom developer.org Axiom Home Page] Axiom is a free… … Wikipedia
Axiom of determinacy — The axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two person games of length ω with perfect information. AD states that every such game in… … Wikipedia
Strong partition cardinal — In Zermelo Fraenkel set theory without the axiom of choice a strong partition cardinal is an uncountable well ordered cardinal k such that every partition of the set [k] ^kof size k subsets of k into less than k pieces has a homogeneous set of… … Wikipedia
Axiom (Australian band) — Infobox Musical artist Name = Axiom Img capt = Img size = Landscape = Background = group or band Birth name = Alias = Born = Died = Origin = Instrument = Genre = Rock Occupation = Years active = 1969–1971 Label = Parlophone(EMI) Warner Reprise… … Wikipedia
Axiom of global choice — In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. Statement The axiom can be expressed in various ways which are equivalent: Weak form: Every class of… … Wikipedia
Axiom of constructibility — The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as : V = L , where V and L denote the von Neumann universe and the constructible universe,… … Wikipedia
Axiom of reducibility — The axiom of reducibility was introduced by Bertrand Russell as part of his ramified theory of types, an attempt to ground mathematics in first order logic.The axiom of reducibility is introduced in number (chapter) *12 of Principia Mathematica… … Wikipedia
SARP — Strong Axiom Of Revealed Preference (Community » Law) ** Sardine Anchovy Recruitment Project (Academic & Science » Ocean Science) ** Substance Abuse and Rehabilitation Program (Community » Educational) * Search And Replace Program (Computing »… … Abbreviations dictionary
