# Continuity Begets Continuity (Frauenwörth slides)

- 15 August 2006
- Constructive math, Talks

With Alex Simpson.

**Abstract:** We present a constructive meta-theorem about sequential continuity which allows us to conclude from a constructive proof of existence of a function between complete metric spaces satisfying a given system of (functional) equations that there also exists a sequentially continuous function satisfying the system.

**Presented at:** *Trends in Constructive mathematics*, Frauenwörth am Chimsee, Germany, June 2006.

**Download slides:** continuity_begets_continuity_bavaria_slides.pdf

**How to comment on this blog:**At present comments are disabled because the relevant script died. If you comment on this post on Mastodon and mention

`andrejbauer@mathstodon.xyz`

, I will
gladly respond.
You are also welcome to contact me directly.