PCF theory is the name of a mathematical theory, introduced by Saharon Shelah, that deals with the cofinality of the ultraproducts of ordered sets. It gives strong upper bounds on the cardinalities of power sets of singular cardinals, and has many more applications as well. The abbreviation "PCF" stands for "possible cofinalities". (Wikipedia).
The Nature of Causation: The Counterfactual Theory of Causation
In this second lecture in this series on the nature of causation, Marianne Talbot discusses the counterfactual theory of causation. We have causal theories of reference, perception, knowledge, content and numerous other things. If it were to turn out that causation doesn’t exist, we would
From playlist The Nature of Causation
This lecture is part of an online course on Galois theory. This is an introductory lecture, giving an informal overview of Galois theory. We discuss some historical examples of problems that it was used to solve, such as the Abel-Ruffini theorem that degree 5 polynomials cannot in genera
From playlist Galois theory
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
Holly Krieger: A case of the dynamical André-Oort conjecture
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 Dynamical Systems and Ordinary Differential Equations
Patrick Ingram, The critical height of an endomorphism of projective space
VaNTAGe seminar on June 9, 2020. License: CC-BY-NC-SA. Closed captions provided by Matt Olechnowicz
From playlist Arithmetic dynamics
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
R. Dujardin - Some problems of arithmetic origin in complex dynamics and geometry (part3)
Some themes inspired from number theory have been playing an important role in holomorphic and algebraic dynamics (iteration of rational mappings) in the past ten years. In these lectures I would like to present a few recent results in this direction. This should include: the dynamica
From playlist Ecole d'été 2017 - Géométrie d'Arakelov et applications diophantiennes
Özlem Ejder, Dynamical Belyi maps
VaNTAGe seminar, September 14, 2021 License: CC-BY-NC-SA
From playlist Belyi maps and Hurwitz spaces
Lecture 9 | String Theory and M-Theory
(November 23, 2010) Leonard Susskind gives a lecture on the constraints of string theory and gives a few examples that show how these work. String theory (with its close relative, M-theory) is the basis for the most ambitious theories of the physical world. It has profoundly influenced
From playlist Lecture Collection | String Theory and M-Theory
Mark Bickford: Constructive Set Theory in Nuprl Type Theory
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: Aczel propsed CZF as a foundation for constructive mathematics and gave an interpretation of it in Martin-Löf type theory. He then extended the theory with the Regular Extens
From playlist Workshop: "Constructive Mathematics"
What is the Riemann Hypothesis?
This video provides a basic introduction to the Riemann Hypothesis based on the the superb book 'Prime Obsession' by John Derbyshire. Along the way I look at convergent and divergent series, Euler's famous solution to the Basel problem, and the Riemann-Zeta function. Analytic continuation
From playlist Mathematics
#340 How good are the ADCs inside Arduinos, ESP8266, and ESP32? And external ADCs (ADS1115)
I often get questions about how to measure voltage with microcontrollers. We will look at this topic, at the quality of built-in and external Analog-to-digital converters, and I will show you some “secrets.” In this video, we will: - See how ADCs work - Look at how we can determine the qua
From playlist ESP32
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
Peter Dybjer November 30, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
This lecture is part of an online graduate course on Galois theory. We define the discriminant of a finite field extension, ans show that it is essentially the same as the discriminant of a minimal polynomial of a generator. We then give some applications to algebraic number fields. Corr
From playlist Galois theory
Dima Sinapova : Prikry type forcing and combinatorial properties
Abstract: We will analyze consequences of various types of Prikry forcing on combinatorial properties at singular cardinals and their successors, focusing on weak square and simultaneous stationary reflection. The motivation is how much compactness type properties can be obtained at succes
From playlist Logic and Foundations
Davide Gabrielli : Macroscopic fluctuation theory / Macroscopic fluctuation theory
Abstract: In this second lecture I will discuss the basic ideas of the macroscopic fluctuation theory as an effective theory in non equilibrium statistical mechanics. All the theory develops starting from a principal formula that describes the distribution at large deviations scale of the
From playlist Mathematical Physics
Dylan Thurston: Characterizing rational maps positively using graphs
HYBRID EVENT Recorded during the meeting "Advancing Bridges in Complex Dynamics" the September 21, 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'
From playlist Virtual Conference
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Design Thinking
JUC U.S. East 2015 - Integrated Pipeline for Private & Public Clouds w/Jenkins, CloudBees & Clo...
By: Jamie O'Meara, Pivotal This presentation will highlight an integrated development process that involves Java and non-Java code built with CloudBees Jenkins Enterprise and deployed to CloudFoundry. A software lifecycle of continuous delivery from source code control (Git) to Jenkins bu
From playlist JUC U.S East 2015
Lecture 7 | String Theory and M-Theory
(November 1, 2010) Leonard Susskind discusses the specifics of strings including Feynman diagrams and mapping particles. String theory (with its close relative, M-theory) is the basis for the most ambitious theories of the physical world. It has profoundly influenced our understanding of
From playlist Lecture Collection | String Theory and M-Theory