jdh.hamkins.org
Value omega
Visit the post for more.