Set theory

Ordinal definable set

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

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 1.2 : Ordinals

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

Video thumbnail

Nominal Ordinal Scale SPSS

What are nominal ordinal and scale in IBM SPSS Statistics? Three levels of measurement explained.

From playlist SPSS

Video thumbnail

Orthogonal and Orthonormal Sets of Vectors

This video defines orthogonal and orthonormal sets of vectors.

From playlist Orthogonal and Orthonormal Sets of Vectors

Video thumbnail

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)

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

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

The Continuum Hypothesis

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Axiom of extensionality | Well-order | Large cardinal | Supercompact cardinal | Set theory | Mathematics | Set (mathematics) | Well-formed formula | Von Neumann universe | Core model | Ordinal number | Inner model | Transitive set | Absoluteness