Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

ZFC-, which is ZFC minus power set, is modelled by $ L_{\delta}$ where $\delta$ is an admissible ordinal larger than any least $\Sigma_{n}$-admissible ordinal for n a natural number. Can some provide more information? Does it have a name? What is its most natural omega sequence?

share|improve this question
1  
If you only want some $\delta$ for which $L_\delta\models$ZFC-, then you can take $\delta=\omega_1$, or any infinite successor cardinal, for that matter. But probably you want to characterize the least $\delta$ such that $L_\delta\models$ZFC-? –  Joel David Hamkins Jul 31 '13 at 23:53
1  
Your ordinal $\delta$ is smaller than $\delta^1_2$, the supremum of the $\Delta^1_2$-definable pre-wellorder relations on $\mathbb{N}$, but larger of course than $\delta^1_1=\omega_1^{ck}$. –  Joel David Hamkins Aug 1 '13 at 2:00
    
Yes, I am interested in the least such ordinal. –  Frode Bjørdal Aug 1 '13 at 8:16

1 Answer 1

up vote 12 down vote accepted

The least such ordinal $\beta$, often written $\beta_0$, for which $L_\beta$ is a $ZF^-$ is also characterised as the "ordinal of ramified analysis". This is because the ramified analytical hierarchy, which builds up cumulative second order number theoretic structures of the form $$\underline{P_\alpha}=( P_\alpha,\mathbb{N}, +, \times, \ldots)$$ with $P_\alpha\subseteq P_{\alpha +1}\subseteq \mathcal{P}(\mathbb{N})$ by looking at all sets of integers definable over $\underline{P_\alpha}$ by using instances of second order comprehensionto to obtain $P_{\alpha+1}$. (Unions are taken at limits). This hierarchy has height exactly $\beta_0$ (meaning $P_{\beta_0}=P_{\beta_0+1}$.) Alternatively put: $\underline{P_{\beta_0}}$ is then the least model of $Z_2$, or full second order comprehension (sometimes just abbreviated to "analysis", or ``second order number theory'').

${P_{\beta_0}}$ is then $\mathcal{P}(\mathbb{N}) \cap L_{\beta_0}$.

$\beta_0$ of course is $\Sigma_n$-admissible for all $n$. $L_{\beta_0+1}$ sees that $\beta_0$ is countable, and so I suppose one may define a particular $\omega$ sequence in $L_{\beta_0+1}$ cofinal in it by just taking the $<_L$- least such.

One can also paraphrase the assertion that $L_{\beta_0}$ is the least $\beta$ with $L_\beta$ a $ZF^-$ model, as being the least such that for no $n$ is the fine-structural projectum $\rho^n_\beta$ less than $\beta$. (But this is really only dressing up one concept in the jargon of another.)

$L_{\beta_0}$ is (I believe) the least level of the $L$ hierarchy whose reals form a model of $\Delta^0_4$-Determinacy (Martin - unpublished).

For the Ramified Analytical Hierarchy: see Boyd, Hensel, Putnam "An intrinsic characterisation of the ramified analytical hierarchy", JSL, late 60's I believe. This hierarchy is not much studied these days, but was of interest in the pre-Jensen fine-structural era of the analysis of levels of $L$ (the latter's work now surpassing it). For connections between models of subsystems of second order comprehension and constructible sets, see also S. Simpson's book "Subsystems of second order arithmetic".

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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