Descriptive set theory

Perfect set property

In descriptive set theory, a subset of a Polish space has the perfect set property if it is either countable or has a nonempty perfect subset (Kechris 1995, p. 150). Note that having the perfect set property is not the same as being a perfect set. As nonempty perfect sets in a Polish space always have the cardinality of the continuum, and the reals form a Polish space, a set of reals with the perfect set property cannot be a counterexample to the continuum hypothesis, stated in the form that every uncountable set of reals has the cardinality of the continuum. The Cantor–Bendixson theorem states that closed sets of a Polish space X have the perfect set property in a particularly strong form: any closed subset of X may be written uniquely as the disjoint union of a perfect set and a countable set. In particular, every uncountable Polish space has the perfect set property, and can be written as the disjoint union of a perfect set and a countable open set. The axiom of choice implies the existence of sets of reals that do not have the perfect set property, such as Bernstein sets. However, in Solovay's model, which satisfies all axioms of ZF but not the axiom of choice, every set of reals has the perfect set property, so the use of the axiom of choice is necessary. Every analytic set has the perfect set property. It follows from the existence of sufficiently large cardinals that every projective set has the perfect set property. (Wikipedia).

Video thumbnail

What is a Set Complement?

What is the complement of a set? Sets in mathematics are very cool, and one of my favorite thins in set theory is the complement and the universal set. In this video we will define complement in set theory, and in order to do so you will also need to know the meaning of universal set. I go

From playlist Set Theory

Video thumbnail

Every Set is an Element of its Power Set | Set Theory

Every set is an element of its own power set. This is because the power set of a set S, P(S), contains all subsets of S. By definition, every set is a subset of itself, and thus by definition of the power set of S, it must contain S. This is even true for the always-fun empty set! We discu

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

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

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

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

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

Renaud COULANGEON - Lattices, Perfects lattices, Voronoi reduction theory, modular forms, ... 2

The talks of Coulangeon will introduce the notion of perfect, eutactic and extreme lattices and the Voronoi's algorithm to enumerate perfect lattices (both Eulcidean and Hermitian). The talk of Nebe will build upon these notions, introduce Boris Venkov's notion of strongly perfect lattic

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

Video thumbnail

Sandra Müller: Lower bounds for the perfect set property at weakly compact cardinals

By the Cantor-Bendixson theorem, subtrees of the binary tree on $\omega$ satisfy a dichotomy - either the tree has countably many branches or there is a perfect subtree (and in particular, the tree has continuum manybranches, regardless of the size of the continuum). We generalize this to

From playlist Logic and Foundations

Video thumbnail

Fractionally Log-Concave and Sector-Stable Polynomials by Nima Anari

Program Advances in Applied Probability II (ONLINE) ORGANIZERS: Vivek S Borkar (IIT Bombay, India), Sandeep Juneja (TIFR Mumbai, India), Kavita Ramanan (Brown University, Rhode Island), Devavrat Shah (MIT, US) and Piyush Srivastava (TIFR Mumbai, India) DATE: 04 January 2021 to 08 Januar

From playlist Advances in Applied Probability II (Online)

Video thumbnail

Luca Motto Ros: Towards the « right » generalization of descriptive set theory to...

Recording during the meeting "15th International Luminy Workshop in Set Theory" the September 26, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's A

From playlist Logic and Foundations

Video thumbnail

Thresholds - Jinyoung Park

Members’ Colloquium Topic: Thresholds Speaker: Jinyoung Park Affiliation: Stanford University Date: May 16, 2022 Thresholds for increasing properties of random structures are a central concern in probabilistic combinatorics and related areas.  In 2006, Kahn and Kalai conjectured that for

From playlist Mathematics

Video thumbnail

Kęstutis Česnavičius - Purity for Flat Cohomology

The absolute cohomological purity conjecture of Grothendieck proved by Gabber ensures that on regular schemes étale cohomology classes of fixed cohomological degree extend uniquely over closed subschemes of large codimension. I will discuss the corresponding phenomenon for flat cohomology.

From playlist Journée Gretchen & Barry Mazur

Video thumbnail

Philippe ELBAZ - Cohomology of arithmetic groups and number theory: geometric, ... 2

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

Rainbow Matchings in Hypergraphs - Cosmin Pohoata

Computer Science/Discrete Mathematics Seminar II Topic: Rainbow Matchings in Hypergraphs Speaker: Cosmin Pohoata Affiliation: IAS - Member, School of Mathematics Date: February 14, 2023 Suppose we are given matchings M1,....,MN of size t in some r-uniform hypergraph, and let us think of

From playlist Mathematics

Video thumbnail

Avi Wigderson: Randomness and pseudorandomness

Abstract: The talk is aimed at a general audience, and no particular background will be assumed. Is the universe inherently deterministic or probabilistic? Perhaps more importantly - can we tell the difference between the two? Humanity has pondered the meaning and utility of randomness fo

From playlist Abel Lectures

Video thumbnail

Etienne Matheron : Some remarks regarding ergodic operators

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

Set Game

SET is an awesome game that really gets your brain working. Play it! Read more about SET here: http://theothermath.com/index.php/2020/03/27/set/

From playlist Games and puzzles

Related pages

Subset | Descriptive set theory | Uncountable set | Large cardinal | Analytic set | Counterexample | Countable set | Cardinality of the continuum | Continuum hypothesis | Perfect set | Real number | Polish space | Bernstein set | Closed set | Disjoint union