Large cardinals

Strongly compact cardinal

In set theory, a branch of mathematics, a strongly compact cardinal is a certain kind of large cardinal. A cardinal κ is strongly compact if and only if every κ-complete filter can be extended to a κ-complete ultrafilter. Strongly compact cardinals were originally defined in terms of infinitary logic, where logical operators are allowed to take infinitely many operands. The logic on a regular cardinal κ is defined by requiring the number of operands for each operator to be less than κ; then κ is strongly compact if its logic satisfies an analog of the compactness property of finitary logic.Specifically, a statement which follows from some other collection of statements should also follow from some subcollection having cardinality less than κ. The property of strong compactness may be weakened by only requiring this compactness property to hold when the original collection of statements has cardinality below a certain cardinal λ; we may then refer to λ-compactness. A cardinal is weakly compact if and only if it is κ-compact; this was the original definition of that concept. Strong compactness implies measurability, and is implied by supercompactness. Given that the relevant cardinals exist, it is consistent with ZFC either that the first measurable cardinal is strongly compact, or that the first strongly compact cardinal is supercompact; these cannot both be true, however. A measurable limit of strongly compact cardinals is strongly compact, but the least such limit is not supercompact. The consistency strength of strong compactness is strictly above that of a Woodin cardinal. Some set theorists conjecture that existence of a strongly compact cardinal is equiconsistent with that of a supercompact cardinal. However, a proof is unlikely until a canonical inner model theory for supercompact cardinals is developed. Extendibility is a second-order analog of strong compactness. (Wikipedia).

Video thumbnail

Power Rule for Differentiation (3 of 4: Derivation of rule)

More resources available at www.misterwootube.com

From playlist Introduction to Differentiation

Video thumbnail

Matthew Foreman: Welch games to Laver ideals

Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 16, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Au

From playlist Logic and Foundations

Video thumbnail

Sandra Müller: Lower bounds for the perfect set property at weakly compact cardinals

By the Cantor-Bendixson theorem, subtrees of the binary tree on $\omega$ satisfy a dichotomy - either the tree has countably many branches or there is a perfect subtree (and in particular, the tree has continuum manybranches, regardless of the size of the continuum). We generalize this to

From playlist Logic and Foundations

Video thumbnail

Gabriel Goldberg: The Jackson analysis and the strongest hypotheses

HYBRID EVENT Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 13, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematician

From playlist Logic and Foundations

Video thumbnail

Mirna Džamonja: Universal א2-Aronszajn trees

Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 14, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Au

From playlist Logic and Foundations

Video thumbnail

Counting Woodin cardinals in HOD

Distinguished Visitor Lecture Series Counting Woodin cardinals in HOD W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA

From playlist Distinguished Visitors Lecture Series

Video thumbnail

Golden Ratio ϕ hidden in Pentagon!

The ratio of a common diagonal and side of regular pentagon is equal to golden ratio. Golden ratio is an irrational constant in mathematics, ϕ = 1.618033... Mathematicians since Euclid have studied the properties of the golden ratio, including its appearance in the dimensions of a regula

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

MINI LECTURE 13b - Technical Appendix. How to fix the problem of power laws with compact support.

Technical Appendix to the paper on violence: What do you do when the data looks like it is powerlaw distributed over a broad range, but cannot be technically a power law? We use a dual distribution and transport parameters between one and another.

From playlist MINI LECTURES IN PROBABILITY

Video thumbnail

Bourbaki - 21/03/15 - 1/3 - Sébastien GOUËZEL

Spectre du flot géodésique en courbure négative [d'après F. Faure et M. Tsuji]

From playlist Bourbaki - 21 mars 2015

Video thumbnail

Patrizio Frosini (8/30/21): On the role of group equivariant non-expansive operators in TDA

Group equivariant non-expansive operators (GENEOs) have been recently introduced as mathematical tools for approximating data observers, when data are represented by real-valued or vector-valued functions. The use of these operators is based on the assumption that the interpretation of dat

From playlist Beyond TDA - Persistent functions and its applications in data sciences, 2021

Video thumbnail

IGA: Holomorphic Hardy Spaces for a Class of Domains in C^n

Speaker: Liz Vivas (Ohio State University) Title: Holomorphic Hardy Spaces for a class of Domains in C^n Abstract: In this talk, I will talk about Hardy Spaces for variety-deleted domains. Hardy Spaces have been studied extensively in different settings. I will present one of the main uses

From playlist Informal Geometric Analysis Seminar

Related pages

Large cardinal | Regular cardinal | Supercompact cardinal | Set theory | Mathematics | Woodin cardinal | Extendible cardinal | Infinitary logic | Measurable cardinal | Compactness theorem | List of large cardinal properties | Weakly compact cardinal