Well ordering principle in Hereditary Sets

151 Views Asked by At

I need to show that the Well Ordering principle which is $(\forall X)(\exists R) [(X, R )$ - a well ordered set$]$

is true in $H(\kappa)$ where

$H(\kappa)$ is hereditary set of $\kappa$ - infinite cardinal.

I know that Axiom of Choice is true in $H(\kappa)$, but not the Power Set Axiom, and I was also advised to use the following fact

$R$ is a well founded relation on X $\to$ $H(\kappa) \models $ “R is a well founded relation on X”

but I do not know how it helps, because in the original proof of WOP well roundedness is not used

1

There are 1 best solutions below

2
On

The idea is that you don't have to prove WOP inside $H(\kappa)$ from scratch--you can just deduce it in $H(\kappa)$ from the fact that it holds in $V$. Given a set $X\in H(\kappa)$, you want to prove there exists $R\in H(\kappa)$ such that $$H(\kappa)\vDash \text{"$R$ is a well ordering of $X$"}.$$

So, how do you find such an $R$? Well, you pick a well-ordering $R$ of $X$. Now you just have to prove that $R\in H(\kappa)$, and $H(\kappa)$ believes that $R$ really is a well-ordering of $X$. You should find the fact you were advised of useful in proving this.