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).
Power Rule for Differentiation (3 of 4: Derivation of rule)
More resources available at www.misterwootube.com
From playlist Introduction to Differentiation
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
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
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
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
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
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
Special Relativity A1 The Postulates of Special Relativity
The postulates of special relativity.
From playlist Physics - Special Relativity
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
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
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
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