Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
1 answer
490 views

"Robinson arithmetic" for (some) levels of $L$?

I'll write "$\mathcal{L}_\alpha$" for the fragment $\mathcal{L}_{\infty,\omega}\cap L_\alpha$. Say that a countable admissible $\alpha$ is Robinsonian if there is some sentence $\varphi\in\mathcal{L}...
Noah Schweber's user avatar