Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund
On the axiomatic strength of the uncountability of the reals
| Date: | 06/11/2026, 10:15 AM - 11:15 AM |
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Anton Freund - JMU Würzburg |
If we represent real numbers by arbitrary Cauchy sequences rather than decimal expansions, Cantor's diagonal argument is not straightforward. We investigate which axioms are needed to prove the uncountability of the reals for that representation. This combines ideas from set theory (forcing) and proof theory (metastability).
The talk is based on joint work with Nicholas Pischke and Patrick Uftring.
