Conjecture Fieldbook

GlossaryStudy cards

open coloring axiom

Source placement record

Is OCA (the open coloring axiom) consistent with 2 ℵ 0 > ℵ 2 {\displaystyle 2^{\aleph _{0}}>\aleph _{2}} {\displaystyle 2^{\aleph _{0}}>\aleph _{2}}?

Here is what the pinned source says, where it came from, and what still needs editorial review.

Source status
Open
Field
Set theory
Record type
Revision-pinned source placement
Verification
Source-index reviewed
Source grade
secondary
Reviewed
2026-07-27T18:04:33.834Z

Context and review boundary

The source list does not provide a uniform standalone exposition for every row. Use the exact subsection and linked topic article as the starting point for a reviewed reading trail.

Formal boundary

No independent formal statement has been added to this source-index record. This prevents the catalog from inventing notation or silently strengthening the cited claim.

Known approaches and partial results

Pending review. No structured approach or partial-result note has been added to this source placement.

Source trail

  1. Wikipedia list subsection — Exact Set theory subsection in the revision-pinned source.
  2. Wikipedia topic article — Background article linked by the source index; follow its references for deeper study.
  3. Pinned source revision 1366281547 — Revision-pinned snapshot from 7/27/2026.