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).
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
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...
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
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
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
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
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
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
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
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!
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
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
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
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
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
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
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
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
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
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