The nForum has moved to Zulip: nonstandard model of arithmetic.