Large cardinals | Axioms of set theory
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).
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...
il Large Hadron Collider (Italiano)
Una panoramica sul progetto LHC ed i suoi campi di ricerca.
From playlist Italiano
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
A 10' overview of the LHC project and its research plans
From playlist The Large Hadron Collider
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
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
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
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
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
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
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
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
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
From playlist Our Research
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
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
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
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
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