Logikseminariet Stockholm-Uppsala


Presentation av examensarbete i matematik:

Fredrik Nordvall Forsberg

    Constructive aspects of models for non-standard analysis

Onsdag 3 juni, kl 9.30 i sal Å11167, Ångströmlaboratoriet, Uppsala

Abstract

Reduced products are generalizations of ultraproducts where
the filter used need not be an ultrafilter. With a suitable choice of
filter, we can then get a more constructive model of non-standard
analysis. We study properties of such reduced products and investigate
what classical results are still valid in a constructive setting. We
will also consider a non-constructive principle called BD,
introduced by Hajime Ishihara, as it comes up as a Brouwerian
counterexample multiple times during our investigation.



_______________________________________________
logik@math.su.se mailing list.
To unsubscribe or change your subscription options:
https://www2.math.su.se/mailman/options/logik?UserOptions=3Dedit

Seminar homepage: http://www.math.su.se/~jesper/seminarier/