Systems of set theory

Positive set theory

In mathematical logic, positive set theory is the name for a class of alternative set theories in which the axiom of comprehension holds for at least the positive formulas (the smallest class of formulas containing atomic membership and equality formulas and closed under conjunction, disjunction, existential and universal quantification). Typically, the motivation for these theories is topological: the sets are the classes which are closed under a certain topology. The closure conditions for the various constructions allowed in building positive formulas are readily motivated (and one can further justify the use of universal quantifiers bounded in sets to get generalized positive comprehension): the justification of the existential quantifier seems to require that the topology be compact. (Wikipedia).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Set Theory (Part 2b): The Bogus Universal Set

Please feel free to leave comments/questions on the video below! In this video, I argue against the existence of the set of all sets and show that this claim is provable in ZFC. This theorem is very much tied to the Russell Paradox, besides being one of the problematic ideas in mathematic

From playlist Set Theory by Mathoma

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Review of set theory -- Proofs

This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.

From playlist Proofs

Video thumbnail

Set Theory Proof: A subset of B and C subset of D then A x C is a subset of B x D

Set Theory Proof: A subset of B and C subset of D then A x C is a subset of B x D This is an example of a rigorous set theory proof with all steps shown.

From playlist Set Theory

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

Pluripotential theory and complex dynamics in higher dimension – Tien-Cuong Dinh – ICM2018

Analysis and Operator Algebras Invited Lecture 8.13 Pluripotential theory and complex dynamics in higher dimension Tien-Cuong Dinh Abstract: Positive closed currents, the analytic counterpart of effective cycles in algebraic geometry, are central objects in pluripotential theory. They we

From playlist Analysis & Operator Algebras

Video thumbnail

David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)

Dependent type theory imposes a type system on Zemelo-Fraenkel set theory (ZFC). From a mathematics and physics perspective dependent type theory naturally generalizes the Bourbaki notion of structure and provides a universal notion of isomorphism and symmetry. This comes with a universal

From playlist Mikefest: A conference in honor of Michael Douglas' 60th birthday

Video thumbnail

Additive number theory: Extremal problems and the combinatorics of sum. (Lecture 4) by M. Nathanson

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

Video thumbnail

Klaus Fredenhagen - Quantum Field Theory and Gravitation

The incorporation of gravity into quantum physics is still an essentially open problem. Quantum field theory under the influence of an external gravitational field, on the other side, is by now well understood. I is remarkable that, nevertheless, its consistent treatment required a careful

From playlist Trimestre: Le Monde Quantique - Colloque de clôture

Video thumbnail

Infinite Sets and Foundations (Joel David Hamkins) | Ep. 17

Joel David Hamkins is a Professor of Logic with appointments in Philosophy and Mathematics at Oxford University. His main interest is in set theory. We discuss the field of set theory: what it can say about infinite sets and which issues are unresolved, and the relation of set theory to ph

From playlist Daniel Rubin Show, Full episodes

Video thumbnail

Gautam Mandal - Introduction to Hawking radiation (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

Video thumbnail

1. A bridge between graph theory and additive combinatorics

MIT 18.217 Graph Theory and Additive Combinatorics, Fall 2019 Instructor: Yufei Zhao View the complete course: https://ocw.mit.edu/18-217F19 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP62qauV_CpT1zKaGG_Vj5igX In an unsuccessful attempt to prove Fermat's last theorem

From playlist MIT 18.217 Graph Theory and Additive Combinatorics, Fall 2019

Video thumbnail

Paul GUNNELLS - Cohomology of arithmetic groups and number theory: geometric, ... 3

In this lecture series, the first part will be dedicated to cohomology of arithmetic groups of lower ranks (e.g., Bianchi groups), their associated geometric models (mainly from hyperbolic geometry) and connexion to number theory. The second part will deal with higher rank groups, mainly

From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory

Video thumbnail

The measurement problem and some mild solutions by Dustin Lazarovici (Lecture - 03)

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

Video thumbnail

"New Paradigms in Invariant Theory" - Roger Howe, Yale University [2011]

HKUST Institute for Advanced Study Distinguished Lecture New Paradigms in Invariant Theory Speaker: Prof Roger Howe, Yale University Date: 13/6/2011 Video taken from: http://video.ust.hk/Watch.aspx?Video=6A41D5F6B1A790DC

From playlist Mathematics

Video thumbnail

Set Theory Proof Example

Set Theory Proof Example Proving B\A = B intersect A^c

From playlist Set Theory

Related pages

Axiom of extensionality | Mathematical logic | Set theory | New Foundations | Universal set | Morse–Kelley set theory | Alonzo Church | Topology | Axiom of infinity | Ordinal number | Von Neumann–Bernays–Gödel set theory | John von Neumann | Weakly compact cardinal