[FOM] Re: FOM: Constructive analysis

[Giovanni Sambin]

>I'm looking to pull together a seminar in constructive analysis....
>
>Does anyone have other text suggestion? Does anyone have any
>suggestions on topics, etc?
>
>steve

If you are interested in an intuitionistic *and* predicative approach, then you can look at the approach through formal topology.
You can find more information on formal topology in our web page:

http://www.math.unipd.it/~logic

In particular, you might be interested in the recent survey "Some points in formal topology" by myself. More specifically on the application of formal topology to analysis are the papers by G. Curi in his page:

http://www.math.unipd.it/~logic/persone/GiovanniCuri/

and by Thierry Coquand in his page:

http://www.cs.chalmers.se/~coquand/formal.html

If you need any further information, please feel free to contact me.
Best regards
                Giovanni Sambin