I'm wondering which of the usual facts about cardinals in ZFC can be established without using ordinal arithmetic at all. After all the definitions of a cardinal (as a class of equivalence), and also of limit/successor/regular/singular cardinals etc. do not involve order types. Is it possible to develop "just" cardinals, without working with ordinals? Is there an analogue of transfinite recursion that "just" uses cardinals? Does there exist a treatment of cardinals written up along these lines?
2026-03-28 13:42:18.1774705338
How far is it possible to develop cardinals without ordinals?
223 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ELEMENTARY-SET-THEORY
- how is my proof on equinumerous sets
- Composition of functions - properties
- Existence of a denumerble partition.
- Why is surjectivity defined using $\exists$ rather than $\exists !$
- Show that $\omega^2+1$ is a prime number.
- A Convention of Set Builder Notation
- I cannot understand that $\mathfrak{O} := \{\{\}, \{1\}, \{1, 2\}, \{3\}, \{1, 3\}, \{1, 2, 3\}\}$ is a topology on the set $\{1, 2, 3\}$.
- Problem with Cartesian product and dimension for beginners
- Proof that a pair is injective and surjective
- Value of infinite product
Related Questions in CARDINALS
- Ordinals and cardinals in ETCS set axiomatic
- max of limit cardinals smaller than a successor cardinal bigger than $\aleph_\omega$
- If $\kappa$ is a regular cardinal then $\kappa^{<\kappa} = \max\{\kappa, 2^{<\kappa}\}$
- Intuition regarding: $\kappa^{+}=|\{\kappa\leq\alpha\lt \kappa^{+}\}|$
- On finding enough rationals (countable) to fill the uncountable number of intervals between the irrationals.
- Is the set of cardinalities totally ordered?
- Show that $n+\aleph_0=\aleph_0$
- $COF(\lambda)$ is stationary in $k$, where $\lambda < k$ is regular.
- What is the cardinality of a set of all points on a line?
- Better way to define this bijection [0,1) to (0,1)
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Well, how far is a bit difficult to answer. Because one can rarely know if what they know on the topic is "as far as it can get".
But you can develop some of the basic theory. All the cardinal arithmetic is doable. You can even prove that $a^2=a$ using Zorn's lemma without appealing directly to ordinals. And this will allow you to even develop basic cardinal exponentiation consequences in $\sf ZFC$.
You can even develop the notion of cofinality can be defined even without ordinals, but using partitions and cardinals instead, and talk about Koenig's theorem.
But I don't think that you can get truly far. You can still define what is a successor cardinal, and what are limit cardinals, but without the ordinals to index them, you're missing quite a bit. The deep structure of the cardinals (which is the little they have left after the axiom of choice trivializes the arithmetic basics and nothing substantial can be proved about exponentiation besides Koenig's theorem).
So the question is, how far are you trying to get? If you want something which is in the confines of a basic course in elementary set theory, sure you can do all that without talking about ordinals, but you're missing out. Because ordinal make the structure of the cardinals, and you'll be touching the trunk of an elephant instead of taking ten steps back and admiring the beast.
And as for written references. I know of none, because set theory books usually aim to teach ordinals as well. For what it's worth, if you're willing to pick and choose, you can find proofs for all of the above on this very site.