Successor cardinal

Set theory | Cardinal numbers

In set theory, one can define a successor operation on cardinal numbers in a similar way to the successor operation on the ordinal numbers. The cardinal successor coincides with the ordinal successor for finite cardinals, but in the infinite case they diverge because every infinite ordinal and its successor have the same cardinality (a bijection can be set up between the two by simply sending the last element of the successor to 0, 0 to 1, etc., and fixing ω and all the elements above; in the style of Hilbert's Hotel Infinity). Using the von Neumann cardinal assignment and the axiom of choice (AC), this successor operation is easy to define: for a cardinal number κ we have , where ON is the class of ordinals. That is, the successor cardinal is the cardinality of the least ordinal into which a set of the given cardinality can be mapped one-to-one, but which cannot be mapped one-to-one back into that set. That the set above is nonempty follows from Hartogs' theorem, which says that for any well-orderable cardinal, a larger such cardinal is constructible. The minimum actually exists because the ordinals are well-ordered. It is therefore immediate that there is no cardinal number in between κ and κ+. A successor cardinal is a cardinal that is κ+ for some cardinal κ. In the infinite case, the successor operation skips over many ordinal numbers; in fact, every infinite cardinal is a limit ordinal. Therefore, the successor operation on cardinals gains a lot of power in the infinite case (relative the ordinal successorship operation), and consequently the cardinal numbers are a very "sparse" subclass of the ordinals. We define the sequence of alephs (via the axiom of replacement) via this operation, through all the ordinal numbers as follows: and for λ an infinite limit ordinal, If β is a successor ordinal, then is a successor cardinal. Cardinals that are not successor cardinals are called limit cardinals; and by the above definition, if λ is a limit ordinal, then is a limit cardinal. The standard definition above is restricted to the case when the cardinal can be well-ordered, i.e. is finite or an aleph. Without the axiom of choice, there are cardinals that cannot be well-ordered. Some mathematicians have defined the successor of such a cardinal as the cardinality of the least ordinal that cannot be mapped one-to-one into a set of the given cardinality. That is: which is the Hartogs number of κ. (Wikipedia).

The Archbishop of Canterbury Geoffrey Fisher on the Coronation of the Sovereign - 2 June 1953

The introduction to the 1953 broadcast of the Coronation of HM Elizabeth II by the Archbishop of Canterbury The Most Rev. Geoffrey Fisher.

From playlist Voices of History

The Last Pope: Bonus - Protecting the Pope | History

Unlike other high-profile world leaders, Pope Francis is truly a man of the people. Though “the popemobile," once a simple jeep with a platform, is a fully armored car, what happens when he doesn't want to ride in it? How do you protect a man as iconic and powerful as the Pope? Subscribe f

From playlist HISTORY Specials & Documentaries

Who has the best claim to the title of Roman Emperor?

Roman Emperors Family Tree chart: https://usefulcharts.com/products/roman-emperors-family-tree Thanks to all the channels that participated: Stefan Milo: https://www.youtube.com/channel/UCZ9jWH_8tJ-Nmaj8dSQdEYA Al Muqaddimah: https://www.youtube.com/channel/UCf0O2efB4K66UUaT7QJPVNA M.

From playlist Royal Family Trees

Gerald Ford: Taking Tumbles (1974 – 1977)

Gerald Ford ascended to the presidency upon the resignation of Richard Nixon. Since he had been selected to replace Spiro Agnew as Nixon's Vice President the year prior, Ford is the only person to ever have served as both Vice President and President without having been elected to either o

From playlist American History

Longest Reigning Monarchs in World History | Top 10 Countdown

LINKS: ========== British Monarchs: https://youtu.be/412rjcZ44Rk Chinese Emperors: https://youtu.be/x5B1dCZFFLw French Kings: https://youtu.be/fPR9BFmPKdU Habsburgs: https://youtu.be/FBOnjhEbqTM Japanese Emperors: https://youtu.be/bL-65NHzyJE Mayan Ajaws: https://youtu.be/eCAnb59r2UM

From playlist Royal Family Trees

Stanford introduces 11th president, Marc Tessier-Lavigne

After unanimous approval by the Stanford Board of Trustees, Marc Tessier-Lavigne was introduced as Stanford's next president. Tessier-Lavigne's day on campus included meeting members of the Stanford community at several events such as a meeting of the Faculty Senate. For more information:

From playlist Stanford Highlights

Crusader States Craziness - The Next King of Jerusalem - Extra History

Thanks to The Great Courses Plus for helping keep Extra History making history! If you'd like to support our channel AND get a free trial, head on over here: http://ow.ly/8eiN30rvhh2 King Baldwin IV is in a bit of a pickle. He's dying of leprosy, but unfortunately, there are very few opti

From playlist Extra History (ALL EPISODES)

Laura Fontanella: Reflection of stationary sets and the tree property at ℵω2+1

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

Dima Sinapova : Prikry type forcing and combinatorial properties

Abstract: We will analyze consequences of various types of Prikry forcing on combinatorial properties at singular cardinals and their successors, focusing on weak square and simultaneous stationary reflection. The motivation is how much compactness type properties can be obtained at succes

From playlist Logic and Foundations

Does Infinite Cardinal Arithmetic Resemble Number Theory? - Menachem Kojman

Menachem Kojman Ben-Gurion University of the Negev; Member, School of Mathematics February 28, 2011 I will survey the development of modern infinite cardinal arithmetic, focusing mainly on S. Shelah's algebraic pcf theory, which was developed in the 1990s to provide upper bounds in infinit

From playlist Mathematics

BM9.1. Cardinality 1: Finite Sets

Basic Methods: We define cardinality as an equivalence relation on sets using one-one correspondences. In this talk, we consider finite sets and counting rules.

From playlist Math Major Basics

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

ω+1 and 1,008,906: my MegaFavNumbers (Part 1 of 2)

I only talk about omega plus one in this video xD Another one is on the way! Playlist of #MegaFavNumbers https://www.youtube.com/playlist?list=PLar4u0v66vIodqt3KSZPsYyuULD5meoAo For first-time set theorists, I highly recommend Naive Set Theory by Paul Halmos: https://www.amazon.com/Naive

From playlist MegaFavNumbers

Kennedy Special: JFK & The Pope | History

Running for President in 1960, JFK, a Catholic, has to convince America that he would not be controlled by the Vatican. HISTORY®, now reaching more than 98 million homes, is the leading destination for award-winning original series and specials that connect viewers with history in an info

From playlist Presidential History

Japanese Line of Succession 2019

Buy the Asian Royal Family Tree Poster: https://usefulcharts.com/products/asian-royal-family-trees Japanese Emperors Family Tree: https://www.youtube.com/watch?v=_drXPqUefaM CREDITS: Chart: Matt Baker Script/Narration: Matt Baker Editing: Jack Rackam Intro animation: Syawish Rehman Int

From playlist Royal Family Trees

Ordinals of countable order type beyond infinity

We implement an order of order type beyond the first infinite one, in a straight forward fashion. To that end, we arrange the natural numbers in an order with countably infinitely many jumps. So there are many numbers that come, with respect to our order, after an infinite amount of number

From playlist Programming

Counting Woodin cardinals in HOD

Distinguished Visitor Lecture Series Counting Woodin cardinals in HOD W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA

From playlist Distinguished Visitors Lecture Series

Cantor’s Continuum Hypothesis Set Theory - W. H. Woodin - 2/23/2019

From playlist Linde Hall Inaugural Math Symposium - 2019

Ireland Honours St. Patrick (1950)

Full title reads: "Ireland Honours St. Patrick". Dublin, Eire, Southern Ireland, Republic of Ireland. President Sean O'Kelly goes to mass and sees the St. Patrick's Day Parade. SV Back view Sean O'Kelly being greeted by clergy and walks towards the Presbytery. CU Back view O'Kelly go

From playlist St Patrick's Day

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

Successor cardinal

Related pages