Axioms of set theory

Baumgartner's axiom

In mathematical set theory, Baumgartner's axiom (BA) can be one of three different axioms introduced by James Earl Baumgartner. A subset of the real line is said to be -dense if every two points are separated by exactly other points, where is the smallest uncountable cardinality. This would be true for the real line itself under the continuum hypothesis. An axiom introduced by states that all -dense subsets of the real line are order-isomorphic, providing a higher-cardinality analogue of Cantor's isomorphism theorem that countable dense subsets are isomorphic. Baumgartner's axiom is a consequence of the proper forcing axiom. It is consistent with a combination of ZFC, Martin's axiom, and the negation of the continuum hypothesis, but not implied by those hypotheses. Another axiom introduced by states that Martin's axiom for partially ordered sets MAP(κ) is true for all partially ordered sets P that are countable closed, well met and ℵ1-linked and all cardinals κ less than 2ℵ1. Baumgartner's axiom A is an axiom for partially ordered sets introduced in . A partial order (P, ≤) is said to satisfy axiom A if there is a family ≤n of partial orderings on P for n = 0, 1, 2, ... such that 1. * ≤0 is the same as ≤ 2. * If p ≤n+1q then p ≤nq 3. * If there is a sequence pn with pn+1 ≤n pn then there is a q with q ≤n pn for all n. 4. * If I is a pairwise incompatible subset of P then for all p and for all natural numbers n there is a q such that q ≤n p and the number of elements of I compatible with q is countable. (Wikipedia).

Video thumbnail

Zermelo Fraenkel Introduction

This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra

From playlist Zermelo Fraenkel axioms

Video thumbnail

What's so wrong with the Axiom of Choice ?

One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2

From playlist Something you did not know...

Video thumbnail

Zermelo Fraenkel Extensionality

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. In this lecture we discuss the axiom of extensionality, which says that two sets are equal if they have the same elements. For the other lectures in the course see https://www.youtube.com/playlist?list

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Choice

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We dicuss the axiom of chice, and sketch why it is independent of the other axioms of set theory. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50f

From playlist Zermelo Fraenkel axioms

Video thumbnail

Itay Neeman: Reflection of clubs, and forcing principles at ℵ2

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 Logic and Foundations

Video thumbnail

Mirna Džamonja: Universal א2-Aronszajn trees

Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 14, 2021 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's Au

From playlist Logic and Foundations

Video thumbnail

Theory of numbers: Gauss's lemma

This lecture is part of an online undergraduate course on the theory of numbers. We describe Gauss's lemma which gives a useful criterion for whether a number n is a quadratic residue of a prime p. We work it out explicitly for n = -1, 2 and 3, and as an application prove some cases of Di

From playlist Theory of numbers

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

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

Some books I've enjoyed recently

For the past year I've been more concerned with writing my own book than reading others! But here's a collection of some of the books I've enjoyed recently, including fiction, non-fiction, and even a cookbook. Pre-order my book Firmament here! https://geni.us/firmament Become a patron at

From playlist Book videos!

Video thumbnail

Spinning Earth Collision Solves Moon Mystery!! - The Countdown #7

SUBSCRIBE, future astronauts: http://goo.gl/bRbj4 THE TOP 5 are listed BELOW!! CLICK HERE to learn more about this week's Top 5: http://goo.gl/MD2tS --------------- THE TOP 5: Planet Centauri Endeavour's L.A. Road Trip DayGlo Comet Moon Mystery Modeled A Not-Quite Space Jump ------------

From playlist The Countdown

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

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

Baumgartner's Super Sonic Dive

Hank acknowledges the amazing feat performed by Felix Baumgartner and answers many of your questions about why it is so amazing. Like SciShow @ http://www.facebook.com/scishow Follow SciShow @ http://www.twitter.com/scishow More about Terminal Velocity: http://www.youtube.com/watch?v=p

From playlist Uploads

Video thumbnail

Supersonic Free Fall and the New Element: Hankium?

Hank brings you the news of a newly discovered dinosaur he is kind of afraid to look at, a way to sequence your genome in less time than it takes to get your clothes dry cleaned, & two new adventures that will take place in space - one going up, and the other coming down! Stow your tray t

From playlist Uploads

Video thumbnail

Terminal Velocity V2: Physics Concept Trailer™

This Concept Trailer covers Further Applications of Newton's Laws: Friction, Drag, and Elasticity and corresponds to Chapter 5 in OpenStax College Physics for AP Courses. Felix Baumgartner’s record-setting 39-km jump, in which he reached supersonic speed before opening a parachute, illus

From playlist Concept Trailers and Comments

Video thumbnail

DjangoCon 2019 - Prepping Your Project for Production by Peter Baumgartner

DjangoCon 2019 - Prepping Your Project for Production by Peter Baumgartner Django does a great job following the Python aphorism: There should be one-- and preferably only one --obvious way to do it. ...until it comes to production deployment. This talk will lead users through the myri

From playlist DjangoCon US 2019

Video thumbnail

Making A Custom Spacesuit By Hand | Earth Lab

To prepare for his jump from the edge of space, Red Bull athlete Felix Baumgartner oversees his custom spacesuit being made. Subscribe to Earth Lab for more fascinating science videos - http://bit.ly/SubscribeToEarthLab *Making A Custom Spacesuit By Hand - Earth Lab* This video has been

From playlist Red Bull Space Dive

Video thumbnail

Zermelo Fraenkel Pairing and union

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axioms of pairing and union, the two easiest axioms of ZFC, and consider whether they are really needed. For the other lectures in the course see https://www.youtube.com/playlist?list=PL

From playlist Zermelo Fraenkel axioms

Video thumbnail

Where does the atmosphere end? | Head Squeeze

How many layers does the atmosphere have, and what's in all of them? James May explains... Subscribe for more fascinating science videos: http://bit.ly/SubscribeToEarthLab James May's Q&A (Ep 6): With his own unique spin, James May asks and answers the oddball questions we've all wondere

From playlist James May's Q&A

Related pages

Proper forcing axiom | Axiom | Dense set | Set theory | Cardinal number | Mathematics | Continuum hypothesis | Partially ordered set | Cantor's isomorphism theorem | Aleph number | Martin's axiom