Set theory

Class (set theory)

In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid Russell's paradox (see ). The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity. A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class. For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems. In Quine's set-theoretical writing, the phrase "ultimate class" is often used instead of the phrase "proper class" emphasising that in the systems he considers, certain classes cannot be members, and are thus the final term in any membership chain to which they belong. Outside set theory, the word "class" is sometimes used synonymously with "set". This usage dates from a historical period where classes and sets were not distinguished as they are in modern set-theoretic terminology. Many discussions of "classes" in the 19th century and earlier are really referring to sets, or rather perhaps take place without considering that certain classes can fail to be sets. (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 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

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

Introduction to Sets and Set Notation

This video defines a set, special sets, and set notation.

From playlist Sets (Discrete Math)

Video thumbnail

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

Video thumbnail

Set Theory 1.3 : Ordinals, Supremums, and Minimums (Well Order)

In this video, I prove that a class of ordinals has a minimum and a supremum (as long as it has an upperbound). Email : fematikaqna@gmail.com Subreddit : https://www.reddit.com/r/fematika Code : https://github.com/Fematika/Animations Notes : https://docdro.id/zf39IqL

From playlist Set Theory

Video thumbnail

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

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

Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond

Abstract: Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set th

From playlist Logic and Foundations

Video thumbnail

MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester

Seminar on Theoretical Machine Learning Topic: MathZero, The Classification Problem, and Set-Theoretic Type Theory Speaker: David McAllester Affiliation: Toyota Technological Institute at Chicago Date: May 14, 2020 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Intro to Nielsen fixed point theory

A talk given by Chris Staecker at King Mongkut's University of Technology Thonburi, Bangkok, Thailand, on October 10 2019. Covers basic definitions and results of Nielsen fixed point theory, plus a few minutes about Nielsen-type theories for coincidence and periodic points. Should be und

From playlist Research & conference talks

Video thumbnail

85 Years of Nielsen Theory: Coincidence Points

Part 3 of a 3 part series of expository talks on Nielsen theory I gave at the conference on Nielsen Theory and Related Topics in Daejeon Korea, June 27, 2013. Part 1- Fixed Points: http://youtu.be/1Ls8mTkRtX0 Part 3- Coincidence Points: http://youtu.be/Wu2Cr3v_I44 Chris Staecker's intern

From playlist Research & conference talks

Video thumbnail

Alessandro Chiodo - Towards a global mirror symmetry (Part 3)

Mirror symmetry is a phenomenon which inspired fundamental progress in a wide range of disciplines in mathematics and physics in the last twenty years; we will review here a number of results going from the enumerative geometry of curves to homological algebra. These advances justify the i

From playlist École d’été 2011 - Modules de courbes et théorie de Gromov-Witten

Video thumbnail

85 Years of Nielsen Theory: Fixed Points

Part 1 of a 3 part series of expository talks on Nielsen theory I gave at the conference on Nielsen Theory and Related Topics in Daejeon Korea, June 24, 2013. Part 2- Periodic Points: http://youtu.be/Ic26_F8UUBE Part 3- Coincidence Points: http://youtu.be/Wu2Cr3v_I44 Chris Staecker's int

From playlist Research & conference talks

Video thumbnail

Connecting tropical intersection theory with polytope algebra in types A and B by Alex Fink

PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t

From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. Follow me on Twitter: @mjmcodr

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Geometry of the moduli space of curves – Rahul Pandharipande – ICM2018

Plenary Lecture 3 Geometry of the moduli space of curves Rahul Pandharipande Abstract: The moduli space of curves, first appearing in the work of Riemann in the 19th century, plays an important role in geometry. After an introduction to the moduli space, I will discuss recent directions

From playlist Plenary Lectures

Video thumbnail

Set Theory 1.1 : Axioms of Set Theory

In this video, I introduce the axioms of set theory and Russel's Paradox. Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : http://docdro.id/5ITQHUW

From playlist Set Theory

Related pages

Algebraic structure | Set theory | Vector space | Group (mathematics) | Generator (mathematics) | New Foundations | Well-formed formula | Naive set theory | Ordinal number | Universal set | Zermelo–Fraenkel set theory | Burali-Forti paradox | Conservative extension | Grothendieck universe | Mathematics | Set (mathematics) | Function (mathematics) | Field (mathematics) | Free lattice | Inaccessible cardinal | Category theory | Category (mathematics) | Morphism | Property (mathematics) | Semiset | Bijection | Structure (mathematical logic) | Complete lattice | Willard Van Orman Quine | Morse–Kelley set theory | Russell's paradox | Surreal number | Von Neumann–Bernays–Gödel set theory | Metalanguage