I know that if we assume zero sharp we obtain for a class of standard ordinals $L_\alpha\prec L_\beta$ , $\alpha <\beta$ and obviously $L_\alpha\in L_\beta$.

My question is : If we only assume the existence of a standard transitive model ,and from it we have a countable standard ordinal $\alpha$, $L_\alpha\models ZFC$, being for example $L_\alpha$ the minimal model,then there exist $N$ elementary end-extension $L_\alpha\prec N$ and $L_\alpha\in N$?, $N$ not necessarily externally well-founded.

Any help or reference would be appreciated.


The answer is no, there can be no such elementary end-extension $N$ of the minimal model $L_\alpha$ with $L_\alpha\in N$. The reason is that $N$ would have to be $\omega$-standard, since it has the same $\omega$ as $L_\alpha$, and thus $N$ would have the correct understanding of the theory ZFC, and it would think that "there is a transitive model of ZFC". By elementarity, $L_\alpha$ would have to think that also, but it cannot since this would violate minimality.

This argument does not assume that $N$ is well-founded, but only that $L_\alpha$ is both an element and a transitive substructure of $N$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.