Ryan Carpenter : A Brief Survey of Hyperreal Numbers

Posted by Ryan Carpenter , part of the Louise Hay Logic Seminar.

At

March 7, 2024, 3 p.m.

In

427 SEO

Abstract

In this talk, I will introduce hyperreal numbers both axiomatically and through an ultraproduct construction. We will examine the structure of the hyperreal numbers, do a bit of nonstandard analysis, and consider "the" hyperreals as it interacts with ZFC.