Dusko Pavlovic (Kestrel Institute)

Coinduction over reals and over analytic functions

Abstract

I shall supply some evidence for the idea that

      coinduction      induction
      -----------  =   ----------
       analysis        arithmetic

In particular, I'll discuss the coalgebra of analytic functions and of
real numbers.  (Parts of this work were done jointly with M. Escardo and
with V. Pratt.)

Depending on time and interest, I will also try to supply some
(corrected) details on minimal bicompletions.