Large cardinals

Unfoldable cardinal

In mathematics, an unfoldable cardinal is a certain kind of large cardinal number. Formally, a cardinal number κ is λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model with the critical point of j being κ and j(κ) ≥ λ. A cardinal is unfoldable if and only if it is an λ-unfoldable for all ordinals λ. A cardinal number κ is strongly λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model "N" with the critical point of j being κ, j(κ) ≥ λ, and V(λ) is a subset of N. Without loss of generality, we can demand also that N contains all its sequences of length λ. Likewise, a cardinal is strongly unfoldable if and only if it is strongly λ-unfoldable for all λ. These properties are essentially weaker versions of strong and supercompact cardinals, consistent with V = L. Many theorems related to these cardinals have generalizations to their unfoldable or strongly unfoldable counterparts. For example, the existence of a strongly unfoldable implies the consistency of a slightly weaker version of the proper forcing axiom. A Ramsey cardinal is unfoldable, and will be strongly unfoldable in L. It may fail to be strongly unfoldable in V, however. In L, any unfoldable cardinal is strongly unfoldable; thus unfoldables and strongly unfoldables have the same consistency strength. A cardinal k is κ-strongly unfoldable, and κ-unfoldable, if and only if it is weakly compact. A κ+ω-unfoldable cardinal is totally indescribable and preceded by a stationary set of totally indescribable cardinals. (Wikipedia).

Video thumbnail

What is light?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Physics

Video thumbnail

In E=MC², what is c and what is its role?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Special Relativity

Video thumbnail

What are parallel lines and a transversal

👉 Learn about converse theorems of parallel lines and a transversal. Two lines are said to be parallel when they have the same slope and are drawn straight to each other such that they cannot meet. In geometry, parallel lines are identified by two arrow heads or two small lines indicated i

From playlist Parallel Lines and a Transversal

Video thumbnail

How many kinds of infinity are there?

A lot. List with links: http://vihart.com/how-many-kinds-of-infinity-are-there/

From playlist Doodling in Math and more | Math for fun and glory | Khan Academy

Video thumbnail

Hugo Duminil-Copin - 1/4 The Self-Avoiding Walk Model

The course will focus on rigorous results for the self-avoiding walk model on lattices, with a special emphasis on low-dimensional ones. The model is defined by choosing uniformly at random among random walk paths starting from the origin and without self-intersections. Despite its simple

From playlist Hugo Duminil-Copin - The Self-Avoiding Walk Model

Video thumbnail

What is a parallel universe?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Parallel Universes

Video thumbnail

What are four types of polygons

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

What is the difference between convex and concave

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

Talk by Raphaël Beuzart-Plessis (Université d’Aix-Marseille,France)

On the spectral decomposition of the Jacquet-Rallis trace formula and the Gan-Gross-Prasad conjecture for unitary groups

From playlist Seminars: Representation Theory and Number Theory

Video thumbnail

Assaf Rinot : Distributive Aronszajn trees

Abstract: It is well-known that the statement "all ℵ1-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal λ: if there exists a λ+-

From playlist Logic and Foundations

Video thumbnail

Does E=MC² manifest itself in everyday life?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Special Relativity

Video thumbnail

What are the Angle Relationships for Parallel Lines and a Transversal

👉 Learn about converse theorems of parallel lines and a transversal. Two lines are said to be parallel when they have the same slope and are drawn straight to each other such that they cannot meet. In geometry, parallel lines are identified by two arrow heads or two small lines indicated i

From playlist Parallel Lines and a Transversal

Video thumbnail

Class 9: Pleat Folding

MIT 6.849 Geometric Folding Algorithms: Linkages, Origami, Polyhedra, Fall 2012 View the complete course: http://ocw.mit.edu/6-849F12 Instructor: Erik Demaine This class covers creases in context of smoothness and a proof from the lecture involving Taylor expansion. Algorithms for the num

From playlist MIT 6.849 Geometric Folding Algorithms, Fall 2012

Video thumbnail

The Richness of Time

Join a physicist, a neuroscientist, and a linguist as they explore the deep enigmas of time. Time feels like it flows, but does it? Time seems to have a built-in direction, from past to future, but is that real or merely a quality imposed by the human brain? Time on earth elapses at a unif

From playlist The Richness of Time

Video thumbnail

Bernard Muir, "Stanford Athletics: Setting an Example in a Changing Landscape"

As the college sports landscape evolves, athletic director Bernard Muir shares how Stanford continues to prize scholarship, distinction and consistency. Muir was a featured speaker at a Stanford+Connects event held in Chicago on March 7, 2015. Watch, learn and reunite with Stanford+Connec

From playlist STANFORD+CONNECTS

Video thumbnail

Summation formulae and speculations on period integrals attached to triples... - Jayce Getz

Joint IAS/Princeton University Number Theory Seminar Topic: Summation formulae and speculations on period integrals attached to triples of automorphic representations Speaker: Jayce Getz Affiliation: Date: March 27, 2018 For more videos, please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Proving Parallel Lines with Angle Relationships

👉 Learn about converse theorems of parallel lines and a transversal. Two lines are said to be parallel when they have the same slope and are drawn straight to each other such that they cannot meet. In geometry, parallel lines are identified by two arrow heads or two small lines indicated i

From playlist Parallel Lines and a Transversal

Video thumbnail

Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]

Grothendieck's 1973 topos lectures Colin McLarty 3 mai 2018 In the summer of 1973 Grothendieck lectured on several subjects in Buffalo NY, and these lectures were recorded, including 33 hours on topos theory. The topos lectures were by far the most informal of the series, with the most si

From playlist Number Theory

Video thumbnail

What is inertial mass?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Physics

Related pages

Large cardinal | Axiom of constructibility | Power set | Proper forcing axiom | Strong cardinal | Supercompact cardinal | Without loss of generality | Cardinal number | Mathematics | Ramsey cardinal | Ordinal number | Inner model | Critical point (set theory) | Weakly compact cardinal