**12**

votes

**0**answers

689 views

### Can a model of $V\neq L$ contain a class giving the $L$-ordering on all its sets?

This question is inspired by the excellent question by Douglas Ulrich When is $L$-Rank definable in inner models of $V=L$?
Suppose $M \in L$ is a countable model of $ZFC$, and furthermore suppose $M ...

**10**

votes

**0**answers

266 views

### Is there a “hereditary” construction for $L$?

Recall that $L$, Godel's constructible universe is constructed by defining the following hierarchy:
$L_0=\varnothing$, for a limit ordinal $\delta$, $L_\delta=\bigcup_{\alpha<\delta}L_\alpha$, and ...

**3**

votes

**0**answers

403 views

### Can there be ordinals larger than those contained in Ord, and if so, can they be used to extend the constructible universe $L$?

Can there be ordinals larger than those contained in Ord, the class of all ordinals,and if so, can these ordinals be used to extend the constructible universe $L$?
In a simplified form, my question ...

**2**

votes

**0**answers

118 views

### When do wide initial segments ruin admissibility?

Suppose $\alpha$ is admissible and $\beta<\alpha$. We know that $L_\alpha$ is an admissible set (by definition), but adding subsets of $\beta$ to $L_\alpha$ might break admissibility: while set ...

**2**

votes

**0**answers

102 views

### Does $\forall X \in L_{\kappa}: P(X) \subset L_{\kappa}$ hold in $L$

While working on an exercise in Jech's Set Theory, I tried to prove that if $V=L$, then $\forall X \in L_{\kappa}: P(X) \subset L_{\kappa}$, where $k$ is any cardinal. I was hoping someone could ...