Remarkable Cardinal¶

A virtual large cardinal κ for which arbitrarily high ground-model rank or hereditary-size segments admit, in set-forcing extensions, elementary small embeddings whose critical point is mapped to κ.

Version: v1 · 2026-08-30 · History
Domain-specific #: 2654
Origin domain: set theory
Subdomain: virtual large cardinal theory
Aliases: Virtually supercompact cardinal

Core Idea¶

A remarkable cardinal is a large cardinal whose supercompact-like elementary embeddings need not exist in the ground universe but do exist in its set-generic multiverse. In the modern rank formulation, a cardinal \(\kappa\) is remarkable when, for every \(\lambda>\kappa\), there is some \(\bar\lambda<\kappa\) such that a set-forcing extension contains an elementary embedding

\[ j:V_{\bar\lambda}^{V}\longrightarrow V_{\lambda}^{V} \quad\text{with}\quad j(\operatorname{crit}(j))=\kappa. \]

The superscript \(V\) is load-bearing: both rank segments are sets from the ground model. The forcing extension may add the embedding \(j\), but it does not replace the source and target with arbitrary structures created by forcing.

Scope of Application¶

Remarkable cardinals are used in set theory where forcing extensions expose elementary embeddings between fixed ground-model structures. Their primary setting is virtual large-cardinal theory, but their applications reach forcing absoluteness, structural reflection, forcing axioms, preservation and indestructibility, and descriptive-set-theoretic models involving \(L(\mathbb R)\).

The notion originated in Schindler's analysis of how proper forcing can change the theory of \(L(\mathbb R)\). The existence of a remarkable cardinal is equiconsistent with the assertion that the theory of \(L(\mathbb R)\) cannot be changed by proper forcing.

Clarity¶

A reliable verification sequence is:

Fix a cardinal \(\kappa\).
Quantify over every \(\lambda>\kappa\), or every regular \(\lambda>\kappa\) in the \(H_\lambda\) presentation.
Find a source height \(\bar\lambda<\kappa\), with the required ground-model regularity in the \(H_\lambda\) form.
Identify a set-forcing extension containing an elementary embedding between the indicated ground-model segments.
Let \(\gamma=\operatorname{crit}(j)\), verify \(\gamma<\bar\lambda\), and check \(j(\gamma)=\kappa\).
Repeat the condition uniformly for arbitrary target heights.

Manages Complexity¶

Remarkability compresses a web of forcing and embedding data into one stable property. Without the concept, each absoluteness or preservation argument would separately track collapses, countable structures, source and target segments, critical points, and elementarity. The remarkable-cardinal package says that supercompact-like small embeddings recur throughout the generic multiverse at every height.

Abstract Reasoning¶

Several inferences follow directly from the quantifier pattern.

One witness cannot establish remarkability. If an embedding exists only for a fixed \(\lambda\), it witnesses a local virtual reflection phenomenon. Remarkability requires unbounded recurrence across every higher target.

The critical point is not \(\kappa\). If \(\gamma=\operatorname{crit}(j)\) and \(j(\gamma)=\kappa\), then \(\gamma<\kappa\). The candidate is the image of a smaller critical point. This is characteristic of the small-embedding formulation.

Knowledge Transfer¶

Within virtual large-cardinal theory, the method transfers by starting with a large-cardinal notion characterized through set-sized elementary embeddings and asking for those maps in forcing extensions while retaining ground-model source and target structures. Remarkability is the virtual form of supercompactness under the relevant small-embedding characterization.

Within forcing theory, the collapse-and-absoluteness apparatus transfers to preservation, Laver functions, indestructibility, and generic structural reflection. Analysts retain the same roles—ground-model structures, outer-model map, critical point, image target, and height quantification—while altering the forcing class or additional properties.

Relationships to Other Abstractions¶

Current abstraction Remarkable Cardinal Domain-specific

Parents (1) — more general patterns this builds on

Remarkable Cardinal is a kind of Cardinality Prime

Remarkable Cardinal is strictly a kind of Cardinality/Cardinal Number in the catalog's broad sense: \(\kappa\) is a transfinite cardinal carrying an additional property.

Hierarchy paths (5) — routes to 3 parentless roots

Remarkable Cardinal → Cardinality → Bijectivity → Function (Mapping)

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Remarkable Cardinal sits in a sparse region of the domain-specific corpus (87^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Ordered Models & Definability Properties (5 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08