Large cardinals | Axioms of set theory

Large cardinal

In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct philosophical schools (see below). A large cardinal axiom is an axiom stating that there exists a cardinal (or perhaps many of them) with some specified large cardinal property. Most working set theorists believe that the large cardinal axioms that are currently being considered are consistent with ZFC. These axioms are strong enough to imply the consistency of ZFC. This has the consequence (via Gödel's second incompleteness theorem) that their consistency with ZFC cannot be proven in ZFC (assuming ZFC is consistent). There is no generally agreed precise definition of what a large cardinal property is, though essentially everyone agrees that those in the list of large cardinal properties are large cardinal properties. (Wikipedia).

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

il Large Hadron Collider (Italiano)

Una panoramica sul progetto LHC ed i suoi campi di ricerca.

From playlist Italiano

Video thumbnail

Le "Large Hadron Collider" (français)

un apreçu du grand collisionneur de hadrons (LHC) et de son programme de recherche

From playlist Français

Video thumbnail

The Large Hadron Collider

A 10' overview of the LHC project and its research plans

From playlist The Large Hadron Collider

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

World's Largest Jellyfish | North America

Watch NORTH AMERICA Sundays 9|8c on Discovery. | http://dsc.discovery.com/tv-shows/north-america#mkcpgn=ytdsc1 | The world's largest jellyfish may look intimidating, but it must be aware of it's surroundings or it will be eaten alive.

From playlist North America

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 LARGEST HYDROGEN BOMB (Tsar Bomb) AND THE NUCLEAR BOMBS!!!

In this video demonstrate nuclear bombs and thermonuclear hydrogen bombs. Also you can see speech of Einstein about E=MC2, speech of Openheimer about destoyer of the worlds!!!

From playlist NUCLEAR PHYSICS

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

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

The Green - Tao Theorem (Lecture 3) by D. S. Ramana

Program Workshop on Additive Combinatorics ORGANIZERS: S. D. Adhikari and D. S. Ramana DATE: 24 February 2020 to 06 March 2020 VENUE: Madhava Lecture Hall, ICTS Bangalore Additive combinatorics is an active branch of mathematics that interfaces with combinatorics, number theory, ergod

From playlist Workshop on Additive Combinatorics 2020

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

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

Bighorn Sheep

From playlist Our Research

Video thumbnail

The Green - Tao Theorem (Lecture 6) by D. S. Ramana

Program Workshop on Additive Combinatorics ORGANIZERS: S. D. Adhikari and D. S. Ramana DATE: 24 February 2020 to 06 March 2020 VENUE: Madhava Lecture Hall, ICTS Bangalore Additive combinatorics is an active branch of mathematics that interfaces with combinatorics, number theory, ergod

From playlist Workshop on Additive Combinatorics 2020

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

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

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

THE LARGEST NUCLEAR BOMB (Tsar Bomb) AND THE TERRIFYING SCALE OF NUCLEAR BOMBS!!!

In this video i show atomic bomb (american test 1955) and thermonuclear hydrogen bomb (soviet test 1955). Also i show the scale of nuclear bombs, how these bombs works and two examples of teratogenesis from radiation.

From playlist NUCLEAR PHYSICS

Related pages

Equiconsistency | Ω-logic | Set theory | Cabal (set theory) | Measurable cardinal | Ontological maximalism | Model theory | Transfinite induction | Transfinite number | List of large cardinal properties | Huge cardinal | Universe (mathematics) | Cardinal number | Constructible universe | Inaccessible cardinal | Subset | Supercompact cardinal | Von Neumann universe | Philosophy of mathematics | Transitive set | Martin's axiom