User blog comment:Alemagno12/Beyond countable ordinals/@comment-27014275-20151115083241

Please, don't try to find out the FGH of Lib(n). I personally think it's a wild goose-hunt, as you can define the FGH itself within Definer, but... go ahead. I won't stop you.