Elliot Glazer(@ElliotGlazer):@JDHamkins So in summary, in the extension of L by \aleph_1 Cohen reals, there is a unique-up-to-isomorphism ℝ-sized countably saturated model of PA, and a unique-up-to-isomorphism ℝ-sized hyperreal field, each without any definable instantiation.

Elliot Glazer

@ElliotGlazer

Unrestricted comprehension @PrincipiaLabs

参加 November 2024

1.1K フォロー中 8.7K ファン

Elliot Glazer@ElliotGlazer

2026.10.02 04:39

@JDHamkins So in summary, in the extension of L by \aleph_1 Cohen reals, there is a unique-up-to-isomorphism ℝ-sized countably saturated model of PA, and a unique-up-to-isomorphism ℝ-sized hyperreal field, each without any definable instantiation.