Large cardinals | Determinacy

Rank-into-rank

In set theory, a branch of mathematics, a rank-into-rank embedding is a large cardinal property defined by one of the following four axioms given in order of increasing consistency strength. (A set of rank < λ is one of the elements of the set Vλ of the von Neumann hierarchy.) * Axiom I3: There is a nontrivial elementary embedding of Vλ into itself. * Axiom I2: There is a nontrivial elementary embedding of V into a transitive class M that includes Vλ where λ is the first fixed point above the critical point. * Axiom I1: There is a nontrivial elementary embedding of Vλ+1 into itself. * Axiom I0: There is a nontrivial elementary embedding of L(Vλ+1) into itself with critical point below λ. These are essentially the strongest known large cardinal axioms not known to be inconsistent in ZFC; the axiom for Reinhardt cardinals is stronger, but is not consistent with the axiom of choice. If j is the elementary embedding mentioned in one of these axioms and κ is its critical point, then λ is the limit of as n goes to ω. More generally, if the axiom of choice holds, it is provable that if there is a nontrivial elementary embedding of Vα into itself then α is either a limit ordinal of cofinality ω or the successor of such an ordinal. The axioms I0, I1, I2, and I3 were at first suspected to be inconsistent (in ZFC) as it was thought possible that Kunen's inconsistency theorem that Reinhardt cardinals are inconsistent with the axiom of choice could be extended to them, but this has not yet happened and they are now usually believed to be consistent. Every I0 cardinal κ (speaking here of the critical point of j) is an I1 cardinal. Every I1 cardinal κ (sometimes called ω-huge cardinals) is an I2 cardinal and has a stationary set of I2 cardinals below it. Every I2 cardinal κ is an I3 cardinal and has a stationary set of I3 cardinals below it. Every I3 cardinal κ has another I3 cardinal above it and is an n-huge cardinal for every n<ω. Axiom I1 implies that Vλ+1 (equivalently, H(λ+)) does not satisfy V=HOD. There is no set S⊂λ definable in Vλ+1 (even from parameters Vλ and ordinals <λ+) with S cofinal in λ and |S|<λ, that is, no such S witnesses that λ is singular. And similarly for Axiom I0 and ordinal definability in L(Vλ+1) (even from parameters in Vλ). However globally, and even in Vλ, V=HOD is relatively consistent with Axiom I1. Notice that I0 is sometimes strengthened further by adding an "Icarus set", so that it would be * Axiom Icarus set: There is a nontrivial elementary embedding of L(Vλ+1, Icarus) into itself with the critical point below λ. The Icarus set should be in Vλ+2 − L(Vλ+1) but chosen to avoid creating an inconsistency. So for example, it cannot encode a well-ordering of Vλ+1. See section 10 of Dimonte for more details. (Wikipedia).

Video thumbnail

What is Rank?

Definition of Rank and showing Rank(A) = Dim Col(A) In this video, I define the notion of rank of a matrix and I show that it is the same as the dimension of the column space of that matrix. This is another illustration of the beautiful interplay between linear transformations and matrice

From playlist Linear Equations

Video thumbnail

RankSum.4.WhyRankSum

This video is brought to you by the Quantitative Analysis Institute at Wellesley College. The material is best viewed as part of the online resources that organize the content and include questions for checking understanding: https://www.wellesley.edu/qai/onlineresources.

From playlist Rank Sum Tests

Video thumbnail

52 - The rank of T

Algebra 1M - international Course no. 104016 Dr. Aviv Censor Technion - International school of engineering

From playlist Algebra 1M

Video thumbnail

Percentiles, Deciles, Quartiles

Understanding percentiles, quartiles, and deciles through definitions and examples

From playlist Unit 1: Descriptive Statistics

Video thumbnail

Excel 2010 Preview #1: New Rank Function RANK.AVE

Download Excel file: https://people.highline.edu/mgirvin/YouTubeExcelIsFun/Excel2010NewAwesomeThings1-8.xlsx RANK.AVE will average the rank score when there is a tie!! See the new Excel 2010 RANK.AVE and RANK.EQ functions.

From playlist Excel 2010 Videos

Video thumbnail

Rank, and the Relationship between Col(A) and Null(A)

Description: Associated to every matrix is a number called the rank, defined to be the Dimension of the Column Space (aka the number of leading 1s). We get the wonderful relation that the dimension of Col(A) plus the diemnsion of Null(A) adds to the number of columns n. Learning Objectiv

From playlist Older Linear Algebra Videos

Video thumbnail

More Standard Deviation and Variance

Further explanations and examples of standard deviation and variance

From playlist Unit 1: Descriptive Statistics

Video thumbnail

Statistics - Levels of measurement

In this video I'll go over the categories for classifying data such as nominal, ordinal, interval, and ratio. To classify these remember to ask questions like, "can the data be ordered?" For more videos please visit http://www.mysecretmathtutor.com

From playlist Statistics

Video thumbnail

Alvaro Lozano-Robledo, The distribution of ranks of elliptic curves and the minimalist conjecture

VaNTAGe seminar, on Sep 29, 2020 License: CC-BY-NC-SA. An updated version of the slides that corrects a few minor issues can be found at https://math.mit.edu/~drew/vantage/LozanoRobledoSlides.pdf

From playlist Math Talks

Video thumbnail

Lecture 17: Rapidly Decreasing Singular Values

MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning, Spring 2018 Instructor: Alex Townsend View the complete course: https://ocw.mit.edu/18-065S18 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP63oMNUHXqIUcrkS2PivhN3k Professor Alex Town

From playlist MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning, Spring 2018

Video thumbnail

Anna Seigal: "From Linear Algebra to Multi-Linear Algebra"

Watch part 2/2 here: https://youtu.be/f5MiPayz_e8 Tensor Methods and Emerging Applications to the Physical and Data Sciences Tutorials 2021 "From Linear Algebra to Multi-Linear Algebra" Anna Seigal - University of Oxford Abstract: Linear algebra is the foundation to methods for finding

From playlist Tensor Methods and Emerging Applications to the Physical and Data Sciences 2021

Video thumbnail

Christian Ikenmeyer: "Minrank: On the Complexity of Orbit Closures"

Tensor Methods and Emerging Applications to the Physical and Data Sciences 2021 Workshop IV: Efficient Tensor Representations for Learning and Computational Complexity "Minrank: On the Complexity of Orbit Closures" Christian Ikenmeyer - University of Liverpool Institute for Pure and Appl

From playlist Tensor Methods and Emerging Applications to the Physical and Data Sciences 2021

Video thumbnail

Steve Oudot (9/8/21): Signed barcodes for multi-parameter persistence via rank decompositions

In this talk I will introduce the signed barcode, a new visual representation of the global structure of the rank invariant of a multi-parameter persistence module or, more generally, of a poset representation. Like its unsigned counterpart in one-parameter persistence, the signed barcode

From playlist AATRN 2021

Video thumbnail

Non-commutative rank - Visu Makam

Computer Science/Discrete Mathematics Seminar II Topic: Non-commutative rank Speaker: Visu Makam Affiliation: University of Michigan; Member, School of Mathematics Date: February 5, 2019 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Tropical Geometry - Lecture 10 - Matrix Rank | Bernd Sturmfels

Twelve lectures on Tropical Geometry by Bernd Sturmfels (Max Planck Institute for Mathematics in the Sciences | Leipzig, Germany) We recommend supplementing these lectures by reading the book "Introduction to Tropical Geometry" (Maclagan, Sturmfels - 2015 - American Mathematical Society)

From playlist Twelve Lectures on Tropical Geometry by Bernd Sturmfels

Video thumbnail

Arrow's Impossibility Theorem | Infinite Series

Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi The bizarre Arrow’s Impossibility Theorem, or Arrow’s Paradox, shows a counterintuitive relationship between fair voting procedures and dictatorships. Start your free t

From playlist An Infinite Playlist

Video thumbnail

Rank A^T = Rank A

In this video, I give a neat consequence of the Fundamental Rank Theorem (link below) by showing that A and A^T always have the same rank. Suprising, because they usually don't look the same! Fundamental Rank Theorem: https://youtu.be/H12cJYZC7KA Another proof of this fact using dual spa

From playlist Linear Equations

Video thumbnail

Matthias Christandl: "Asymptotics of Ranks of Tensors"

Tensor Methods and Emerging Applications to the Physical and Data Sciences 2021 Workshop IV: Efficient Tensor Representations for Learning and Computational Complexity "Asymptotics of Ranks of Tensors" Matthias Christandl - University of Copenhagen Abstract: Unlike the matrix case, there

From playlist Tensor Methods and Emerging Applications to the Physical and Data Sciences 2021

Video thumbnail

Rank and Projection

This clip describes how the concept of rank is linked to the projection of a point to a plane through the origin. The clip is from the book "Immersive Linear Algebra" available at http://www.immersivemath.com.

From playlist Chapter 8 - Rank

Related pages

Huge cardinal | Axiom | Set theory | Limit ordinal | Mathematics | Reinhardt cardinal | Kunen's inconsistency theorem | Critical point (set theory) | Cofinality