Constructive aspects of models for non-standard analysis

Research output: ThesisMaster's Thesis


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. A boundedness principle BD , not derivable in pure constructive math- emetics BISH , is also studied. We show that certain theorems in classical mathematics related to reduced prdoucts or non-standard analysis are equiv- alent to or imply BD or LLPO , and thus not constructively provable
Original languageEnglish
Awarding Institution
  • Uppsala University
Publication statusPublished - 2009


  • ultraproducts
  • non standard analysis
  • constructive mathematics


Dive into the research topics of 'Constructive aspects of models for non-standard analysis'. Together they form a unique fingerprint.

Cite this