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 copy from the Strathclyde author

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. 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

Creators(s):	Nordvall Forsberg, Fredrik ORCID: https://orcid.org/0000-0001-6157-9288;
Item type:	Thesis(Masters)
ID code:	53291
Keywords:	ultraproducts, non standard analysis, constructive mathematics, Mathematics, Logic
Subjects:	Science > Mathematics
Department:	Faculty of Science > Computer and Information Sciences
Depositing user:	Pure Administrator
Date deposited:	05 Jun 2015 09:55
Last modified:	18 Dec 2020 02:21
Related URLs:	Department
URI:	https://strathprints.strath.ac.uk/id/eprint/53291
Export data:

CORE (COnnecting REpositories)