Constructive aspects of models for non-standard analysis
Nordvall Forsberg, Fredrik (2009) Constructive aspects of models for non-standard analysis. Masters thesis, Uppsala University.
Full text not available in this repository.Request a copyAbstract
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
-
-
Item type: Thesis(Masters) ID code: 53291 Dates: DateEvent2009PublishedSubjects: Science > Mathematics Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 05 Jun 2015 09:55 Last modified: 08 Apr 2024 12:14 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/53291