Skip to main content
typo fix
Source Link

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \equiv L_{\beta 2}$ for the language $\{\in,L_\alpha\}$$\{\in\}\cup L_\alpha$?

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \equiv L_{\beta 2}$ for the language $\{\in,L_\alpha\}$?

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \equiv L_{\beta 2}$ for the language $\{\in\}\cup L_\alpha$?

added 1 character in body
Source Link

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \cong L_{\beta 2}$$L_{\alpha2} \equiv L_{\beta 2}$ for the language $\{\in,L_\alpha\}$?

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \cong L_{\beta 2}$ for the language $\{\in,L_\alpha\}$?

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \equiv L_{\beta 2}$ for the language $\{\in,L_\alpha\}$?

Source Link

Existence of a generalized stable ordinal

An ordinal $\alpha$ is called +1 stable, if $L_\alpha <_1 L_{\alpha+1}$

By considering $Σ_n$ elementary submodel we can generalize it.

I'm curious about its further generalizations.

Does there exist an ordinal $\alpha$, such that $L_{\alpha+1}$ is elementary equivalent to $L_{\beta+1}$ for some larger $\beta$ where every element of $L_\alpha$ is added in the language?

Can we change "+1" to "+n", or "+α"? Is it possible that $L_{\alpha2} \cong L_{\beta 2}$ for the language $\{\in,L_\alpha\}$?