weakly compact set
21Infinitary logic — Those unfamiliar with mathematical logic or the concept of ordinals are advised to consult those articles first. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have… …
22Min-max theorem — Variational theorem redirects here. The term is also sometimes applied to the variational principle. In linear algebra and functional analysis, the min max theorem, or variational theorem, or Courant–Fischer–Weyl min max principle, is a result… …
23New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …
24Covering lemma — See also: Jensen s covering theorem In mathematics, under various anti large cardinal assumptions, one can prove the existence of the canonical inner model, called the Core Model, that is, in a sense, maximal and approximates the structure of V.… …
25Infinitary combinatorics — In mathematics, infinitary combinatorics, or combinatorial set theory, is an extension of ideas in combinatorics to infinite sets. Some of the things studied include continuous graphs and trees, extensions of Ramsey s theorem, and Martin s axiom …
26Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger …
27Core 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… …
28Reflecting cardinal — In set theory, a mathematical discipline, a reflecting cardinal is a cardinal number kappa; for which there is a normal ideal I on kappa; such that for every X isin; I +, the set of α isin; kappa; for which X reflects at α is in I +. (A… …
29Mackey topology — In functional analysis and related areas of mathematics, the Mackey topology, named after George Mackey, is the finest topology for a topological vector space which still preserves the continuous dual. In other words the Mackey topology does not… …
30Symmetric space — In differential geometry, representation theory and harmonic analysis, a symmetric space is a smooth manifold whose group of symmetries contains an inversion symmetry about every point. There are two ways to make this precise. In Riemannian… …
