Jensen claimed that for any finite increasing sequence countable admissible ordinals $\omega= \alpha_0<\alpha_1\cdots <\alpha_n$, there is a real $x$ so that, for each $m\leq n$, $\alpha_m$ is the $m+1$-th admissible ordinal relative to $x$.

Anybody knows the proof? Or where to find it?

  • 2
    $\begingroup$ mathematik.hu-berlin.de/~raesch/org/jensen.html (The paper titled "Admissible sets") $\endgroup$ – Andrés E. Caicedo Apr 5 '12 at 3:05
  • $\begingroup$ Thanks. It's really painful to read the handwritten manuscripts... $\endgroup$ – 喻 良 Apr 5 '12 at 3:32
  • $\begingroup$ (I just emailed you a typeset version of the notes.) $\endgroup$ – Andrés E. Caicedo Apr 5 '12 at 6:27
  • $\begingroup$ Hello Andres. Can you email me typset version of the notes too? hollowdead1@gmail.com $\endgroup$ – user16974 Aug 25 '12 at 13:46
  • $\begingroup$ Andres me too? gerdes@invariant.org $\endgroup$ – Peter Gerdes Jan 12 '13 at 11:40

There is a model theoretic proof of the generalization to countable sequences which appears in a paper by Simpson and Weitkamp.

High and low Kleene degrees of coanalytic sets Stephen G. Simpson & Galen Weitkamp Journal of Symbolic Logic 48 (2):356-368 (1983)

I believe that this proof is due to Harrington, based on Jensen's and Friedman's model theoretic proof of Sacks's theorem that every countable admissible ordinal is the least admissible relative to some real.

  • 4
    $\begingroup$ Hi Ted, nice to see you here! $\endgroup$ – Andrés E. Caicedo Feb 3 '13 at 20:31
  • $\begingroup$ Yes, Ted, welcome to MathOverflow. $\endgroup$ – Joel David Hamkins Feb 3 '13 at 21:11
  • $\begingroup$ Ted, thanks. In Simpon-Weitkamp's paper, it is claimed that Harrington has a model theoretical proof. But where to find it? $\endgroup$ – 喻 良 Feb 4 '13 at 4:14
  • $\begingroup$ I asked Prof. Jensen, when he was in NUS, whether he has a model theoretical proof, or by applying Barwise compactness, of his result. He said no. So I guess Harrington's proof must be highly nontrivial. $\endgroup$ – 喻 良 Feb 4 '13 at 7:14
  • $\begingroup$ Yu, the result is Theorem 4.1 of the Simpson and Weitkamp paper and they include a proof. The proof comes before the attribution to Harrington. $\endgroup$ – Theodore Slaman Feb 5 '13 at 2:48

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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