List of large cardinal properties — This page is a list of some types of cardinals; it is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the… … Wikipedia
Strong cardinal — In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal. Formal definition If lambda; is any ordinal, kappa; is lambda; strong means that kappa; is a cardinal number and there… … Wikipedia
Subcompact cardinal — In mathematics, a subcompact cardinal is a certain kind of large cardinal number.A cardinal number κ is subcompact if and only if for every A⊂H(κ+) there is a non trivial elementary embedding j:(H(μ+), B) → (H(κ+), A) with critical point μ and… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Suslin's problem — In mathematics, Suslin s problem is a question about totally ordered sets posed by Mikhail Yakovlevich Suslin in the early 1920s. [cite journal title=Problème 3 last= Souslin first=M. journal=Fundamenta Mathematicae volume=1 date=1920 pages=223]… … Wikipedia
Core model — In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to the core model , it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the… … Wikipedia
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
