On a topos in which the Dedekind real numbers object is countable:
On a a polynomial function whose Lebesgue measurability is independent of ZFC:
Last revised on July 7, 2026 at 14:15:46. See the history of this page for a list of all contributions to it.