Colloquium: David Ross (UH)

When:
April 24, 2015 @ 3:30 pm – 4:30 pm
2015-04-24T15:30:00-10:00
2015-04-24T16:30:00-10:00
Where:
Keller 401

Speaker: David Ross (UH)

Title: A field-extension proof that R is uncountable

Abstract: For some (but not all!) non-Archimedean ordered field extensions
F of the rationals, you can construct the reals from F by identifying
elements which differ by an infinitesimal. I’ll describe necessary and
sufficient conditions on F for the construction to actually produce the
reals, and then give a new proof for uncountability of R that uses this
condition in an essential way.