In mathematical set theory, a set S is said to be ordinal definable if, informally, it can be defined in terms of a finite number of ordinals by a first-order formula. Ordinal definable sets were introduced by . A drawback to this informal definition is that it requires quantification over all first-order formulas, which cannot be formalized in the language of set theory. However there is a different way of stating the definition that can be so formalized. In this approach, a set S is formally defined to be ordinal definable if there is some collection of ordinals α1, ..., αn such that and can be defined as an element of by a first-order formula φ taking α2, ..., αn as parameters. Here denotes the set indexed by the ordinal α1 in the von Neumann hierarchy. In other words, S is the unique object such that φ(S, α2...αn) holds with its quantifiers ranging over . The class of all ordinal definable sets is denoted OD; it is not necessarily transitive, and need not be a model of ZFC because it might not satisfy the axiom of extensionality. A set is hereditarily ordinal definable if it is ordinal definable and all elements of its transitive closure are ordinal definable. The class of hereditarily ordinal definable sets is denoted by HOD, and is a transitive model of ZFC, with a definable well ordering. It is consistent with the axioms of set theory that all sets are ordinal definable, and so hereditarily ordinal definable. The assertion that this situation holds is referred to as V = OD or V = HOD. It follows from V = L, and is equivalent to the existence of a (definable) well-ordering of the universe. Note however that the formula expressing V = HOD need not hold true within HOD, as it is not absolute for models of set theory: within HOD, the interpretation of the formula for HOD may yield an even smaller inner model. HOD has been found to be useful in that it is an inner model that can accommodate essentially all known large cardinals. This is in contrast with the situation for core models, as core models have not yet been constructed that can accommodate supercompact cardinals, for example. (Wikipedia).
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
In this video, I introduce the Von Neumann construction of the ordinals, including ones that are infinite/transfinite! Email : fematikaqna@gmail.com Subreddit : https://reddt.com/r/Fematika Code : https://github.com/Fematika/Animations Notes : None yet
From playlist Set Theory
What are nominal ordinal and scale in IBM SPSS Statistics? Three levels of measurement explained.
From playlist SPSS
Orthogonal and Orthonormal Sets of Vectors
This video defines orthogonal and orthonormal sets of vectors.
From playlist Orthogonal and Orthonormal Sets of Vectors
Math 060 Fall 2017 111317C Orthonormal Bases
Motivation: how to obtain the coordinate vector with respect to a given basis? Definition: orthogonal set. Example. Orthogonal implies linearly independent. Orthonormal sets. Example of an orthonormal set. Definition: orthonormal basis. Properties of orthonormal bases. Example: Fou
From playlist Course 4: Linear Algebra (Fall 2017)
Introduction to Sets and Set Notation
This video defines a set, special sets, and set notation.
From playlist Sets (Discrete Math)
Introduction to Levels of Measurement: Nominal, Ordinal, Interval, Ratio
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Introduction to Levels of Measurement: Nominal, Ordinal, Interval, Ratio
From playlist Statistics
The successor-limit hierarchy and ordinals I Data structures in Mathematics Math Foundations 181
In this video and the next, we review and extend the successor-limit hierarchy. This is a mysterious ladder of arithmetical operations on so called natural numbers. We say so-called, because the numbers we arrive at are so large as to defy understanding, so their meaning and existence can
From playlist Math Foundations
From playlist Thinking about Data
The sequence that grows remarkably large, then drops to zero!
Goodstein sequences can get larger than Graham's number and the growth rate can be faster than Ackermann’s function. In fact, these sequences grow at such an incredible rate, that the theorem literally cannot be proven using first order arithmetic and can only be proven using a stronger sy
From playlist Summer of Math Exposition 2 videos
Should the power class of any non-empty set even be a set? It's not in constructive Zermelo-Fraenkel, but once you add the Axiom of Choice you end up in ZFC where you have to assign it a cardinal number. But then, well-orderings on something like the reals provably exist that are not descr
From playlist Logic
Gabriel Goldberg: The Jackson analysis and the strongest hypotheses
HYBRID EVENT Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 13, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematician
From playlist Logic and Foundations
Another Math of Infinity: Ordinals and "going past infinity"
As a follow up to the last video, here we introduce another math of infinity based on the thought experiment about infinite hotels from last time. Ordinals and well-orders in general give us a another way to think about infinite things; in terms of length and so in the context of ordinals
From playlist The CHALKboard 2022
Defining Infinity | Infinite Series
Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi Set theory is supposed to be a foundation of all of mathematics. How does it handle infinity? Learn through active problem-solving at Brilliant: https://brilliant.org/I
From playlist An Infinite Playlist
A road to the infinities: Some topics in set theory by Sujata Ghosh
PROGRAM : SUMMER SCHOOL FOR WOMEN IN MATHEMATICS AND STATISTICS ORGANIZERS : Siva Athreya and Anita Naolekar DATE : 13 May 2019 to 24 May 2019 VENUE : Ramanujan Lecture Hall, ICTS Bangalore The summer school is intended for women students studying in first year B.A/B.Sc./B.E./B.Tech.
From playlist Summer School for Women in Mathematics and Statistics 2019
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
The finite von Neumann ordinals
In this video I do some model theoretic implementations. I encode and decode the finite Neumann ordinals (which for finite sets are the same as cardinals) and watch them pop up in the stages of the Neumann universe. More set theory building blocks are to follow. https://en.wikipedia.org/w
From playlist Logic
A new basis theorem for ∑13 sets
Distinguished Visitor Lecture Series A new basis theorem for ∑13 sets W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA
From playlist Distinguished Visitors Lecture Series