White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Constructing fixed points and economic equilibria

Hendtlass, Matthew (2013) Constructing fixed points and economic equilibria. PhD thesis, University of Leeds.

Available under License Creative Commons Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales.

Download (1203Kb) | Preview


Constructive mathematics is mathematics with intuitionistic logic (together with some appropriate, predicative, foundation)-it is often crudely characterised as mathematics without the law of excluded middle. The intuitionistic interpretation of the connectives and quantifiers ensure that constructive proofs contain an inherent algorithm which realises the computational content of the result it proves, and, in contrast to results from computable mathematics, these inherent algorithms come with fixed rates of convergence. The value of a constructive proof lies in the vast array of models for constructive mathematics. Realizability models and the interpretation of constructive ZF set theory into Martin Löf type theory allows one to view constructive mathematics as a high level programing language, and programs have been extracted and implemented from constructive proofs. Other models, including topological forcing models, of constructive set theory can be used to prove metamathematical results, for example, guaranteeing the (local) continuity of functions or algorithms. In this thesis we have highlighted any use of choice principles, and those results which do not require any choice, in particular, are valid in any topos. This thesis looks at what can and cannot be done in the study of the fundamental fixed point theorems from analysis, and gives some applications to mathematical economics where value is given to computability.

Item Type: Thesis (PhD)
ISBN: 978-0-85731-504-5
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID: uk.bl.ethos.589305
Depositing User: Repository Administrator
Date Deposited: 09 Jan 2014 10:10
Last Modified: 07 Mar 2014 11:48
URI: http://etheses.whiterose.ac.uk/id/eprint/4973

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)