- Exacting and ultraexacting cardinals disrupt the established hierarchy of infinities.
- These new cardinals could disprove the HOD Conjecture and Ultimate-L Conjecture.
- Ultraexacting cardinals amplify other infinities in unexpected, non-linear ways.
Juan Aguilera was standing in the Arctic when he realized the new types of infinity didn't behave.
The mathematical logician at the Vienna University of Technology had been working with Joan Bagaria of the University of Barcelona and Philipp Lücke of the University of Hamburg on two novel types of infinity. They called them exacting and ultraexacting cardinals.
Both fit within the standard rules of set theory. Neither fit into the hierarchy that mathematicians had spent decades building.
Key figure
1874
The year Georg Cantor first proved infinities come in different sizes, launching the hierarchy these new cardinals disrupt
A Tower Built on Assumptions
Ever since Georg Cantor proved in 1874 that infinities come in different sizes, mathematicians have sorted them into a hierarchy. Large cardinals occupy the upper reaches of this tower, each level representing a bigger type of infinity than the one below, each level's defining axiom capable of proving more statements than those beneath it.
The tidiness of this arrangement has guided one of the most ambitious projects in modern mathematics. Hugh Woodin, a Harvard mathematician, has spent years building "Ultimate L," a comprehensive model of the mathematical universe based on the belief that infinity follows an orderly structure.
The exacting and ultraexacting cardinals pose a direct challenge to that project. Their existence implies that the full mathematical universe cannot equal the subuniverse of hereditarily ordinal definable sets.
If both exacting and extendible cardinals exist, the HOD Conjecture and the Ultimate-L Conjecture would fail.
What is the HOD Conjecture?
The HOD Conjecture, proposed by Hugh Woodin, predicts that the mathematical universe is "close" to HOD, a subuniverse containing only objects definable by ordinal numbers. If true, mathematics has an underlying orderly structure. If false, much of the mathematical universe lies beyond the reach of any definable description.
Infinities That Amplify Each Other
What makes these cardinals particularly strange is not just their size.
Ultraexacting cardinals interact with other large cardinals in ways no one anticipated. Place one below a measurable cardinal, and it generates a dramatic leap in consistency strength. Cardinals considered "mildly large" suddenly behave as vastly larger infinities when an ultraexacting cardinal is present.
The technical explanation involves elementary embeddings between layers of the set-theoretic universe. But the practical consequence is simpler: the standard picture of infinity as a well-ordered ladder may be wrong. Some rungs, it appears, can blow up the ladder itself.
It seems like real progress, a really interesting insight that we didn't have before.
Toby Meadows, logician and philosopher at UC Irvine
A second paper published in September 2025, with UC Berkeley set theorist Gabriel Goldberg joining the team, placed exacting cardinals strictly between the I3 and I2 axioms. The bounds on where these new infinities sit are now considerably tighter. But tighter bounds have not resolved the core question.
Not everyone sees the new cardinals as settling the debate. Goldberg himself has noted that confidence in consistency evidence does not equal proof.
The Wilderness Beyond Order
The disagreement runs deeper than technical details.
Woodin has reportedly dismissed his former students' challenge with a comparison to children defying their parents. For Toby Meadows at UC Irvine, the prospect of chaos is the more exciting outcome, because an orderly mathematical universe would effectively close one of set theory's most interesting chapters.
More On Infinity
Strong Axioms of Infinity: How Mathematicians Built Numbers Beyond Forever
What happens when you need numbers bigger than infinity itself? A mathematician reveals the elegant axioms that extend beyond ℵ₀.
→The original paper, posted to arXiv in November 2024 and updated four times since, has drawn attention precisely because it works within standard axioms. Unlike earlier challenges to the HOD Conjecture that required abandoning the axiom of choice, exacting cardinals respect all nine ZFC axioms.
They play by the rules and still disrupt the game.
Aguilera and his colleagues plan to continue studying the new cardinals. The structure of infinity may prove more intricate than the tower metaphor suggests, and these may be only the first instances of something larger.
Most of the mathematical universe, Aguilera suspects, consists of things we cannot see.
Sources
- Primary Source: Is Mathematics Mostly Chaos or Mostly Order? (Quanta Magazine)
- Additional Context:
Fact Check: Claim-by-Claim Verification Verified
The article accurately represents the scientific claims about exacting and ultraexacting cardinals, correctly attributes work to the researchers involved, and appropriately presents speculative conclusions as provisional evidence rather than proven facts.
Commentary
- The article uses "Arctic" generically for the Finnish location, which is technically correct but less precise—the Quanta source specifies a meeting "in the Finnish wilderness high above the Arctic Circle"
- The article presents the new cardinals as a "direct challenge" to Ultimate L and the HOD Conjecture, which accurately captures the research team's framing; however, the Quanta source and arXiv abstract appropriately note that Woodin and others remain unconvinced, and more evidence is required. The article balances this skepticism appropriately
- The technical claim about exacting cardinals being "strictly between the I3 and I2 axioms" derives from the September 2025 paper, not the November 2024 original, and the article correctly attributes this refined understanding to the second paper
- The statement that "both exacting and extendible cardinals exist" would refute the conjectures is slightly simplified—the arXiv abstract states "if both exacting and extendible cardinals exist" this would refute the HOD and Ultimate-L conjectures, appropriately hedging with conditional language
- Popular science simplifications are appropriate: the "blow up the ladder" metaphor and description of consistency strength as "dramatic leap" are accurate translations of technical phenomena into accessible language
Sources used for verification
Academic/Peer-reviewed:
- Large cardinals, structural reflection, and the HOD Conjecture - arXiv.org
- Large cardinals beyond HOD - arXiv.org
- The Ultimate-L Conjecture - Fudan University Logic
- Woodin's HOD Conjecture - Journal of Mathematical Logic (World Scientific)
Other reliable sources:
- Is Mathematics Mostly Chaos or Mostly Order? - Quanta Magazine
- W. Hugh Woodin - Wikipedia
- Georg Cantor shocked mathematics by proving that not all infinities are equal - Big Think
Fact-checked by Perplexity Sonar Pro on 2026-03-10
