[FOM] 508: Unique Undefinable Elements

Harvey Friedman hmflogic at gmail.com
Sat Dec 22 20:07:48 EST 2012

Thanks for the reference. I didn't know about this problem of Arnie
Miller that Hjorth solved there! You can find the paper on the
Internet through Google, searching for     Unique Undefinable Elements
Hjorth     and opening up the second hit.

Miller (poser) and Hjorth (solver), using the infinitary language
L_omega1,omega get a result that is grammatically almost identical, to
mine, but of a very different character - e.g., in the following

1. No such Hjorth structure can be countable.
2. Hjorth's structure has cardinality omega_1.

For the ordinary predicate calculus problem I did,

1. All such structures must be countably infinite.
2. My structure is recursive in the omega jump.

Also, there does not appear to be any relationship between the
technical arguments.

For both kinds of problems, I think there is a lot of further research

Harvey Friedman

For my original postings, see

On Tue, Dec 11, 2012 at 2:04 AM, Andrew Brooke-Taylor
<andrewbt at gmail.com> wrote:
> Dear FOMers,
> I just wanted to mention to readers that similarly, Greg Hjorth
> constructed a model with a unique element which is not definable in
> L_{\omega_1, \omega} (JSL 75 no. 1 (2010), pp 269-274.  Sorry, I'd
> make it a link, but I only have hard copy access here).
> Best wishes,
> Andrew Brooke-Taylor

More information about the FOM mailing list