Large cardinals

List of large cardinal properties

This page includes a list of cardinals with large cardinal properties. 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 existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions φ of lesser consistency strength, Vκ satisfies "there is an unbounded class of cardinals satisfying φ". The following table usually arranges cardinals in order of consistency strength, with size of the cardinal used as a tiebreaker. In a few cases (such as strongly compact cardinals) the exact consistency strength is not known and the table uses the current best guess. * "Small" cardinals: 0, 1, 2, ..., ,..., , ... (see Aleph number) * worldly cardinals * weakly and strongly inaccessible, α-inaccessible, and hyper inaccessible cardinals * weakly and strongly Mahlo, α-Mahlo, and hyper Mahlo cardinals. * reflecting cardinals * weakly compact (= Π11-indescribable), Πmn-indescribable, totally indescribable cardinals * λ-unfoldable, unfoldable cardinals, ν-indescribable cardinals and λ-shrewd, shrewd cardinals (not clear how these relate to each other). * ethereal cardinals, subtle cardinals * almost ineffable, ineffable, n-ineffable, totally ineffable cardinals * remarkable cardinals * α-Erdős cardinals (for countable α), 0# (not a cardinal), γ-iterable, γ-Erdős cardinals (for uncountable γ) * almost Ramsey, Jónsson, Rowbottom, Ramsey, ineffably Ramsey, completely Ramsey, strongly Ramsey, super Ramsey cardinals * measurable cardinals, 0† * λ-strong, strong cardinals, tall cardinals * Woodin, weakly hyper-Woodin, Shelah, hyper-Woodin cardinals * superstrong cardinals (=1-superstrong; for n-superstrong for n≥2 see further down.) * subcompact, strongly compact (Woodin< strongly compact≤supercompact), supercompact, cardinals * η-extendible, extendible cardinals * Vopěnka cardinals, Shelah for supercompactness, * n-superstrong (n≥2), n-almost huge, n-super almost huge, n-huge, n-superhuge cardinals (1-huge=huge, etc.) * Wholeness axiom, rank-into-rank (Axioms I3, I2, I1, and I0) The following even stronger large cardinal properties are not consistent with the axiom of choice, but their existence has not yet been refuted in ZF alone (that is, without use of the axiom of choice). * Reinhardt cardinal, Berkeley cardinal (Wikipedia).

Video thumbnail

Europe's Largest Gothic Palace Was Once Home to Popes | National Geographic

Located in the sunny south of France, picturesque Avignon was once the seat of power for the Catholic Church. The historic center of Avignon is known for its architectural and cultural significance, both of which largely stem from its brief stint as the seat of the papacy. ➡ Subscribe: htt

From playlist News | National Geographic

Video thumbnail

The World's Largest Domes

Domes top some of the world’s most well-known buildings. Here we countdown the largest domes that have ever been built. For more by The B1M subscribe now - http://ow.ly/GxW7y Read the full story on this video, including images and useful links, here: http://www.theb1m.com/video/the-world

From playlist The World's...

Video thumbnail

Florence, Italy [Amazing Places 4K]

The Historic Center of Florence is on the list of the World Heritage Sites of UNESCO: "Florence, the symbol of the Renaissance, rose to economic and cultural pre-eminence under the Medici in the 15th and 16th centuries. Its 600 years of extraordinary artistic activity can be seen above all

From playlist Simply Amazing World

Video thumbnail

The Power of Notre Dame Cathedral: Professor William R. Cook

With its famous facade and its iconic status as one of the world's foremost cathedrals, Notre Dame has been remodeled more often than any other cathedral (most notably after the French Revolution). With an estimated length of 400 feet, the cathedral features an innovative double-aisled nav

From playlist Modern History

Video thumbnail

The Roman Pantheon Explained

Today we delve into the history of this dynamic monument, which is the most impressive building that the Romans ever built, and perhaps the most influential building in the history of architecture. Like and subscribe to see more videos like this. Mira el vídeo en español: https://youtu.be

From playlist Vídeos

Video thumbnail

FLYING OVER ITALY (4K UHD) - Relaxing Music Along With Beautiful Nature Videos - 4K Video Ultra HD

Italy is a country located on the Italian peninsula in southern Europe, and is one of the most populous countries in Europe. Italy has a very special geographical position, possessing diverse terrains, from stretching beaches to undulating mountain ranges, from small pristine villages to a

From playlist Simply Amazing World

Video thumbnail

Real Analysis Chapter 2: Cardinality and Cantor's Theorem

A day late, but no worse off! Today we cover the topic of Cardinality, the size of the set of Real Numbers, and my personal favorite, Cantor's Theorem! This lovely result forces us to conclude that there is an infinitely tall hierarchy of different sizes of infinity, whatever the hectogo

From playlist Real Analysis

Video thumbnail

Barcelona 4K - Driving Downtown - Sunset Drive - Spain

Barcelona Spain! Catalonia! Paris street dining, Los Angeles palm trees, Miami night life, Rome style public art, etc. The largest metropolis on the Mediterranean Sea. From Modern Barcelona, to Old Barcelona, Barceloneta Beach, La Sagrada Familia, Museu Nacional d'Art de Catalunya, and

From playlist Location by Region - Southern Europe - J Utah

Video thumbnail

Does Infinite Cardinal Arithmetic Resemble Number Theory? - Menachem Kojman

Menachem Kojman Ben-Gurion University of the Negev; Member, School of Mathematics February 28, 2011 I will survey the development of modern infinite cardinal arithmetic, focusing mainly on S. Shelah's algebraic pcf theory, which was developed in the 1990s to provide upper bounds in infinit

From playlist Mathematics

Video thumbnail

This is How the Colosseum Looked in Roman Times

The Colosseum is one of the most influential buildings of Ancient Rome, here's how it looked and how it was constructed. Like and subscribe to see more videos like this. Subtitles available in several languages. Ve el vídeo en español: https://youtu.be/KR2QDawogf0 Say hi on social: Patr

From playlist Vídeos

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

Laura Fontanella: Reflection of stationary sets and the tree property at ℵω2+1

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Logic and Foundations

Video thumbnail

Madrid 4K - Driving Downtown - Spain

Driving from the heart of Madrid Spain in the Centro district past the major tourist attractions and ending in the business district of Madrid. The 2nd largest city in Europe behind Paris. Madrid in general is stunning! Escudo Palacio de Cibeles, the fifth highlight in the intro, is one

From playlist Location by Region - Southern Europe - J Utah

Video thumbnail

Real Analysis Ep 6: Countable vs uncountable

Episode 6 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is about countable and uncountable sets, Cantor's theorem, and the continuum hypothesis. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/c

From playlist Math 3371 (Real analysis) Fall 2020

Video thumbnail

Absolute notions in model theory - M. Dzamonja - Workshop 1 - CEB T1 2018

Mirna Dzamonja (East Anglia) / 30.01.2018 The wonderful theory of stability and ranks developed for many notions in first order model theory implies that many model theoretic constructions are absolute, since they can be expressed in terms of internal properties measurable by the existenc

From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields

Video thumbnail

Infinite Sets and Foundations (Joel David Hamkins) | Ep. 17

Joel David Hamkins is a Professor of Logic with appointments in Philosophy and Mathematics at Oxford University. His main interest is in set theory. We discuss the field of set theory: what it can say about infinite sets and which issues are unresolved, and the relation of set theory to ph

From playlist Daniel Rubin Show, Full episodes

Video thumbnail

Colloquium MathAlp 2018 - Patrick Dehornoy

La théorie des ensembles cinquante ans après Cohen : On présentera quelques résultats de théorie des ensembles récents, avec un accent sur l'hypothèse du continu et la possibilité de résoudre la question après les résultats négatifs bien connus de Gödel et Cohen, et sur les tables de Lave

From playlist Colloquiums MathAlp

Video thumbnail

Palm Beach 4K - Mar-a-Lago Billionaire Resort - Scenic Drive

With 30 billionaire residents (New York City has only 92 billionaires in comparison), Palm Beach in Florida has a high number of extremely wealthy residents, including current US President Donald Trump, professional athletes, musicians and celebrities. Palm Beach located an hour north of

From playlist Landscape - Coast Drive - J Utah

Video thumbnail

David Michael ROBERTS - Class forcing and topos theory

It is well-known that forcing over a model of material set theory co rresponds to taking sheaves over a small site (a poset, a complete Boolean algebra, and so on). One phenomenon that occurs is that given a small site, all new subsets created are smaller than a fixed bound depending on th

From playlist Topos à l'IHES

Related pages

Wholeness axiom | Equiconsistency | Indescribable cardinal | Subtle cardinal | Measurable cardinal | Zero sharp | Mahlo cardinal | Rank-into-rank | Subcompact cardinal | Uncountable set | Rowbottom cardinal | Unfoldable cardinal | Zero dagger | Worldly cardinal | Tall cardinal | Woodin cardinal | Ramsey cardinal | Berkeley cardinal | Huge cardinal | Large cardinal | Remarkable cardinal | Shelah cardinal | Shrewd cardinal | Reinhardt cardinal | Reflecting cardinal | Iterable cardinal | Ineffable cardinal | Inaccessible cardinal | Strongly compact cardinal | Aleph number | Weakly compact cardinal | Superstrong cardinal | Supercompact cardinal | Strong cardinal | Extendible cardinal | Von Neumann universe | Jónsson cardinal | Erdős cardinal