In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other areas of mathematics such as functional analysis, ergodic theory, the study of operator algebras and group actions, and mathematical logic. (Wikipedia).
Introduction to Set Theory (Discrete Mathematics)
Introduction to Set Theory (Discrete Mathematics) This is a basic introduction to set theory starting from the very beginning. This is typically found near the beginning of a discrete mathematics course in college or at the beginning of other advanced mathematics courses. ***************
From playlist Set Theory
Introduction to sets || Set theory Overview - Part 2
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Introduction to sets || Set theory Overview - Part 1
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Introduction to Sets and Set Notation
This video defines a set, special sets, and set notation.
From playlist Sets (Discrete Math)
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
Why is the Empty Set a Subset of Every Set? | Set Theory, Subsets, Subset Definition
The empty set is a very cool and important part of set theory in mathematics. The empty set contains no elements and is denoted { } or with the empty set symbol ∅. As a result of the empty set having no elements is that it is a subset of every set. But why is that? We go over that in this
From playlist Set Theory
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
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
Set Theory (Part 1): Notation and Operations
Please feel free to leave comments/questions on the video and practice problems below! In this video series, we'll explore the basics of set theory. I assume no experience with set theory in the video series and anyone who's "been around town" in math should understand the videos. To make
From playlist Set Theory by Mathoma
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Séminaire Bourbaki - 21/06/2014 - 4/4 - Thierry COQUAND
Théorie des types dépendants et axiome d'univalence Cet exposé sera une introduction à la théorie des types dépendants et à l'axiome d'univalence. Cette théorie est une alternative à la théorie des ensembles comme fondement des mathématiques. Guidé par une interprétation d'un type comme u
From playlist Bourbaki - 21 juin 2014
Seok Kim - 6 dimensional superconformal field theories (1)
PROGRAM: THE 8TH ASIAN WINTER SCHOOL ON STRINGS, PARTICLES AND COSMOLOGY DATES: Thursday 09 Jan, 2014 - Saturday 18 Jan, 2014 VENUE: Blue Lily Hotel, Puri PROGRAM LINK: http://www.icts.res.in/program/asian8 The 8th Asian Winter School on Strings, Particles and Cosmology is part of a seri
From playlist The 8th Asian Winter School on Strings, Particles and Cosmology
The measurement problem and some mild solutions by Dustin Lazarovici ( Lecture - 01)
21 November 2016 to 10 December 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Quantum Theory has passed all experimental tests, with impressive accuracy. It applies to light and matter from the smallest scales so far explored, up to the mesoscopic scale. It is also a necessary ingredie
From playlist Fundamental Problems of Quantum Physics
Symmetries, Duality, and the Unity of Physics (Lecture – 01) by Nathan Seiberg
DATE: 08 January 2018, 16:00 to 17:30 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Lecture 1: 8 January 2018, 16:00 to 17:30 Title: Symmetries, Duality, and the Unity of Physics Abstract: Global symmetries and gauge symmetries have played a crucial role in physics. The idea of duality d
From playlist Infosys-ICTS Chandrasekhar Lectures
Edward Witten: Mirror Symmetry & Geometric Langlands [2012]
2012 FIELDS MEDAL SYMPOSIUM Thursday, October 18 Geometric Langlands Program and Mathematical Physics 1.30am-2.30pm Edward Witten, Institute for Advanced Study, Princeton "Superconformal Field Theory And The Universal Kernel of Geometric Langlands" The universal kernel of geometric Langl
From playlist Number Theory
Delphine Moussard: Finite type invariants of knots in homology 3-spheres
Abstract: Résumé : For null-homologous knots in rational homology 3-spheres, there are two equivariant invariants obtained by universal constructions à la Kontsevich, one due to Kricker and defined as a lift of the Kontsevich integral, and the other constructed by Lescop by means of integr
From playlist Topology
Ximena Fernández 7/20/22: Morse theory for group presentations and the persistent fundamental group
Discrete Morse theory is a combinatorial tool to simplify the structure of a given (regular) CW-complex up to homotopy equivalence, in terms of the critical cells of discrete Morse functions. In this talk, I will present a refinement of this theory that guarantees not only a homotopy equiv
From playlist AATRN 2022
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
Knot Categorification From Mirror Symmetry (Lecture- 3) by Mina Aganagic
PROGRAM QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)