Set theory

PCF theory

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).

Video thumbnail

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

Video thumbnail

Galois theory: Introduction

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

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

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Özlem Ejder, Dynamical Belyi maps

VaNTAGe seminar, September 14, 2021 License: CC-BY-NC-SA

From playlist Belyi maps and Hurwitz spaces

Video thumbnail

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

Video thumbnail

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"

Video thumbnail

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

Video thumbnail

#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

Video thumbnail

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

Video thumbnail

Galois theory: Discriminants

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Design Thinking

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

Video thumbnail

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

Video thumbnail

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

Related pages

Kurepa tree | Limit cardinal | Regular cardinal | Power set | Cardinal number | Mathematics | Ultrafilter | Ultraproduct | Chang's conjecture | Jónsson cardinal | Cofinality