← Back to catalogue
Research draft

cardinal number

vr.tr.cardinal-number · XCT.QLT

Let an agent explain cardinal numbers in both the everyday and the set-theoretic sense, distinguish cardinals from ordinals, relay the basic results on infinite cardinals with attribution, and route advanced set theory to specialist references.

Thing Registry Cross-cutting context

Research draft, second pass

A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.

written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify

Researched by: Claude

Purpose and description

Let an agent explain cardinal numbers in both the everyday and the set-theoretic sense, distinguish cardinals from ordinals, relay the basic results on infinite cardinals with attribution, and route advanced set theory to specialist references.

A number that answers how many: the size of a set, from the finite cardinals zero, one, two and so on to the infinite cardinals of set theory such as aleph-null, the size of the natural numbers, and the cardinality of the continuum; in grammar, a cardinal number is a counting word as opposed to an ordinal like first or second.

What it is for: Measuring the size of collections.

It can be explain cardinals versus ordinals; explain finite and infinite cardinals; relay basic theorems such as Cantor theorem; route large cardinal questions to specialist references.

Distinguishing features

Size of a set

Comparison by bijection

Infinite cardinals beyond the finite

Grammatical sense as counting words

What it looks like

Not visible; numerals and set-theoretic symbols such as aleph.

How it is recognised

Answers how many

Infinite cardinals written with aleph and beth symbols

Ordinals answer which position and have a different arithmetic

Related models

is a kind of - a kind of number

number

is contrasted with - position rather than size

ordinal number

is defined by - via bijections

set theory

is related to - infinite cardinals

infinity

In practice

Families and kinds

finite cardinals

countable and uncountable infinite cardinals

aleph numbers and beth numbers

regular, singular and limit cardinals

large cardinals as axioms

cardinal numerals in grammar

Standards and regulation

No regulation; definitions follow ZFC set theory and standard texts

Failure modes and hazards

Confusing cardinals with ordinals

Treating infinite cardinals as ordinary numbers

Presenting independent statements such as the continuum hypothesis as settled

Also called

regular cardinallarge cardinallimit cardinalBerkeley cardinalLöwenheim numbercount variableshrewd cardinalsuperstrong cardinalunfoldable cardinalbeth numbergimel numberdaleth numberaleph numberweakly inaccessible cardinalineffable cardinalindescribable cardinaliterable cardinalworldly cardinalWoodin cardinalErdős cardinalJónsson cardinalreflecting cardinalReinhardt cardinalremarkable cardinalShelah cardinalsubcompact cardinalsubtle cardinalSuslin cardinaltall cardinal

Where this came from

wikidata · CC0 1.0

Source repository Registry entry point

Drafted structure

Bundle to layer to finding to question, as the second pass will find it: 4 bundles · 8 layers · 8 findings · 16 questions.

Concept What a cardinal is.

Definition.

Definition

Definition.

Definition

Definition.

  1. What is a cardinal number, and how is the size of a set compared by bijection? definition
  2. Is the question about cardinals, ordinals or counting words in grammar? boundary

Finite

Finite cardinals.

Finite

Finite.

  1. How are finite cardinals defined and used in counting? definition
  2. Which entry fits natural numbers? action
Infinite Infinite cardinals.

Theory.

Countable

Countable and uncountable.

Countable

Countable.

  1. What are aleph-null and the continuum, and what does Cantor theorem show? definition
  2. Which entry fits Cantor diagonal argument? action

Arithmetic

Cardinal arithmetic.

Arithmetic

Arithmetic.

  1. How do addition, multiplication and exponentiation work for infinite cardinals? provenance
  2. Which references are standard? provenance
Advanced Set theory frontiers.

Rigour.

Independence

Continuum hypothesis.

Independence

Independence.

  1. What is the continuum hypothesis, and what does its independence from ZFC mean? provenance
  2. What is proven versus undecidable? boundary

Large

Large cardinals.

Large

Large.

  1. What are large cardinal axioms, in outline, and why are they studied? provenance
  2. Which entry fits large cardinals? action
Learn Grammar, history and teaching.

Context.

Grammar

Cardinal numerals.

Grammar

Grammar.

  1. How do languages express cardinal numerals, and how do they differ from ordinals? provenance
  2. Which entry fits numerals in grammar? action

History

History and teaching.

History

History.

  1. How did Cantor develop the theory of cardinals, and how is it taught? provenance
  2. Which misconceptions arise? provenance

What the second pass must settle

  • Should large cardinals be a separate entry?
  • How should set theory references be linked?
  • The registry entry has merged aliases for specific large cardinals and a grammatical sense; should they be split off?
Draft as JSON