Iacono's working set structure

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

David Burguet: Some new dynamical applications of smooth parametrizations for C∞ systems - lecture 2

Smooth parametrizations of semi-algebraic sets were introduced by Yomdin in order to bound the local volume growth in his proof of Shub’s entropy conjecture for C∞ maps. In this minicourse we will present some refinement of Yomdin’s theory which allows us to also control the distortion. We

From playlist Dynamical Systems and Ordinary Differential Equations

Francesco Fidaleo: Modular Spectral Triples arising from type III representations of the nc torus

Talk by Francesco Fidaleo in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on April 7, 2021

From playlist Global Noncommutative Geometry Seminar (Europe)

Giovanni Vignale - Quantum continuum mechanics for many-body systems - IPAM at UCLA

Recorded 13 April 2022. Giovanni Vignale of University of Missouri-Columbia, Physics, presents "Quantum continuum mechanics for many-body systems" at IPAM's Model Reduction in Quantum Mechanics Workshop. Abstract: Classical continuum mechanics is a theory of the dynamics of classical liqui

From playlist 2022 Model Reduction in Quantum Mechanics Workshop

A. Guionnet - Pavages aléatoires

Considérons le problème de paver un domaine par des losanges. Quand cela est possible, nous pouvons tirer un pavage au hasard dans tous les pavages possibles. De quoi a l'air ce pavage ? Nous discuterons de cette question ancienne.

From playlist 70 ans des Annales de l'institut Fourier

How to Identify the Elements of a Set | Set Theory

Sets contain elements, and sometimes those elements are sets, intervals, ordered pairs or sequences, or a slew of other objects! When a set is written in roster form, its elements are separated by commas, but some elements may have commas of their own, making it a little difficult at times

From playlist Set Theory

Monica Musso: Blow up solution for the energy critical heat equation, Lecture I

In this course we will discuss some classical results on phenomena of blow-up for solutions of the critical Fujita equations. We will present some results on infinite time blow-up and also on finitetime blow-up successfully obtained in recent years using the inner-outer method. We will exp

From playlist Hausdorff School: Trending Tools

On the strength of comparison queries - Shay Moran

Computer Science/Discrete Mathematics Seminar II Topic: On the strength of comparison queries Speaker: Shay Moran Affiliation: University of California, San Diego; Member, School of Mathematics Date: October 24, 2017 For more videos, please visit http://video.ias.edu

From playlist Mathematics

The perfect number of axioms | Axiomatic Set Theory, Section 1.1

In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T

From playlist Axiomatic Set Theory

Set Theory (Part 16): Correspondence Between Number Systems

Please feel free to leave comments/questions on the video and practice problems below! In this video, we will connect the number systems together through isomorphic embedding functions, so that operations are preserved across number systems. I will also argue that, in the strict sense, th

From playlist Set Theory by Mathoma

Set Theory (Part 3): Ordered Pairs and Cartesian Products

Please feel free to leave comments/questions on the video and practice problems below! In this video, I cover the Kuratowski definition of ordered pairs in terms of sets. This will allow us to speak of relations and functions in terms of sets as the basic mathematical objects and will ser

From playlist Set Theory by Mathoma

Hereditarily finite sets

In this video I give an implementation of the power set operation for a crude notion of sets. I then use it to general the hereditarily finite set. I'm motivated both by providing a nice elaboration of a simple model of the ZFC axioms as well as giving a bridge to talk about the AVL-tree d

From playlist Programming

ASCII and Unicode Character Sets

This video describes the fundamental principles of character sets, character encoding, ASCII and Unicode. In particular, it covers the limitations of ASCII and the plethora of extended ASCII code pages. It also covers the design goals of Unicode, and describes the way control bits are al

From playlist GCSE Computer Science

Set Theory (Part 5): Functions and the Axiom of Choice

Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce functions as a special sort of relation, go over some function-related terminology, and also prove two theorems involving left- and right-inverses, with the latter theorem nic

From playlist Set Theory by Mathoma

Listing elements from a set (2)

Powered by https://www.numerise.com/ Listing elements from a set (2)

From playlist Set theory

Sahana Balasubramanya: Quasi-parabolic structures on groups

CIRM VIRTUAL EVENT Recorded during the meeting"Virtual Geometric Group Theory conference " the May 22, 2020 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

Nexus Trimester - Udi Wieder (VMware Research)

How to Approximate a Set without Knowing it's Size in Advance Udi Wieder (VMware Research) February 25, 2016 Abstract: The dynamic approximate membership problem asks to represent a set [Math Processing Error] of size [Math Processing Error], whose elements are provided in an on-line fashi

From playlist Nexus Trimester - 2016 - Fundamental Inequalities and Lower Bounds Theme

Strongly minimal groups in o-minimal structures - K. Peterzil - Workshop 3 - CEB T1 2018

Kobi Peterzil (Haifa) / 27.03.2018 Strongly minimal groups in o-minimal structures Let G be a definable two-dimensional group in an o-minimal structure M and let D be a strongly minimal expansion of G, whose atomic relations are definable in M. We prove that if D is not locally modular t

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

Arithmetic progressions and spectral structure - Thomas Bloom

Computer Science/Discrete Mathematics Seminar II Topic: Arithmetic progressions and spectral structure Speaker: Thomas Bloom Affiliation: University of Cambridge Date: October 13, 2020 For more video please visit http://video.ias.edu

From playlist Mathematics

Set Theory (Part 8): Peano Axioms/Systems and Transitive Sets

Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce Peano systems, important for setting up arithmetic on the natural numbers and for conceptualizing "successor" and also go over the idea of transitive sets.

From playlist Set Theory by Mathoma