Which of the following correctly describes what V_omega models?
AV_omega is a model of all ZFC axioms, demonstrating the consistency of full set theory
BV_omega satisfies all ZFC axioms except the axiom of infinity, proving that axiom is independent of the rest
CV_omega satisfies the axiom of infinity but fails the axiom of power set
DV_omega is an uncountable model showing that ZF minus infinity has large cardinality
V_omega satisfies all ZFC axioms — extensionality, pairing, union, power set, separation, replacement, regularity, choice — except the axiom of infinity. The axiom of infinity asserts the existence of an inductive set (containing the empty set and closed under the successor operation), and omega itself is not in V_omega. The existence of this model proves independence: you cannot derive the axiom of infinity from the other axioms, otherwise V_omega would satisfy it. V_omega is also countably infinite, not uncountable.
Question 2 Multiple Choice
Under Ackermann coding, which natural number is assigned to the set containing the empty set and the singleton of the empty set, i.e., {empty, {empty}}?
A2
B3
C4
D1
Ackermann coding assigns code(s) = sum over x in s of 2^code(x). First, code(empty) = 0 (empty sum). Then code({empty}) = 2^code(empty) = 2^0 = 1. Finally, code({empty, {empty}}) = 2^code(empty) + 2^code({empty}) = 2^0 + 2^1 = 1 + 2 = 3. The coding translates membership into binary arithmetic: x is a member of y if and only if the code(x)-th bit of code(y) is 1.
Question 3 True / False
Every set in V_omega is finite, but V_omega itself as a collection is infinite.
TTrue
FFalse
Answer: True
This is the key structural feature. Each individual set in V_omega is finite — that is what 'hereditarily finite' means. But V_omega = V_0 union V_1 union V_2 union ... is a countably infinite union of finite sets, so the collection itself is countably infinite, containing infinitely many distinct finite sets. V_omega is not itself an element of V_omega (since it is infinite), which is precisely why the axiom of infinity fails inside V_omega.
Question 4 True / False
The axiom of infinity can be derived from the other ZFC axioms by iterating the pairing and power set axioms starting from the empty set.
TTrue
FFalse
Answer: False
This is false, and V_omega is the proof. Every set constructible from pairing and power set starting from the empty set is hereditarily finite — it lives in some V_n and hence in V_omega. V_omega satisfies all ZFC axioms except infinity, which means those axioms cannot be used to derive infinity. Each application of pairing or power set to finite sets yields another finite set; no finite iteration of these operations produces an infinite set. The axiom of infinity must be added as an independent postulate.
Question 5 Short Answer
Explain what it means for V_omega to be 'bi-interpretable with Peano arithmetic' and why this is surprising given that V_omega is a model of set theory.
Think about your answer, then reveal below.
Model answer: Bi-interpretability means there is a translation in both directions: every statement about hereditarily finite sets can be expressed as a statement about natural numbers via Ackermann coding (membership x in y becomes an arithmetic condition on bit patterns), and every statement about natural numbers can be expressed as a statement about sets. The two theories are essentially the same theory in different clothing. The surprise is that set theory — which seems vastly more expressive than arithmetic — collapses to arithmetic when restricted to V_omega. This shows that infinite sets, not the set-theoretic framework itself, are what give full ZFC its additional expressive power beyond arithmetic.
This bi-interpretability result makes V_omega philosophically significant: finite set theory and Peano arithmetic are equivalent foundations for finite mathematics. The axiom of infinity is exactly what separates 'the mathematics of the finite' from 'the mathematics of the infinite.'