View single | Maths Project Repository Database | Renewable Energy | MyQMUL

This database contains BSc, MSci and MSc projects offered by different supervisors. It can be searched/filtered in various ways to help find the best options for you.

The basic default search is based on titles; simply enter a word or topic which interests you in the "Search" box and click "Save Settings" to view the results.
Checking the "Advanced Search" box displays further search fields. In particular, to find projects appropriate to your programme, type "BSc", "MSci", or "MSc" in the "Level:" field. Again, the results will appear upon clicking "Save Settings".
You can change the sorting of the displayed list by clicking on the drop-down menus corresponding to the category and the order. By default, the sorting is by project title, in ascending order. Click "Save Settings" again to change the sorting.
Click on the title of a project to find details of prerequisites and reading material as well as a brief description. [You may need to look up some unfamiliar terms to get more of a sense of what is involved.] Note that if the project has "No" in the "Current Availability:" field, it is already taken or not being offered this academic year but may be available again in future years.
Each supervisor name links to a contact details webpage so you can arrange to discuss any projects you are interested in or even propose a related topic of your own.

Level:	MSci, MSc
Title:	Complete lattices and fixed points
Supervisor:	Prof. Thomas Mueller
Research Area:	Algebra
Description:	The following famous result of Tarski and Davis characterises completeness of arbitrary lattices. Theorem 1. A lattice A is complete if, and only if, every order morphism $f: A \rightarrow A$ has a fixed point. The project aims at a self-contained presentation of this result and its proof. Relevant definitions and background information (for instance on ordinals) should also be provided in full.
Further Reading:	A. C. Davis, A characterisation of complete lattices, Pacific J. Math. 5 (1955) 311–319. A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math. 5 (1955) 289–309.
Key Modules:	To be confirmed with the supervisor.
Other Information:	Chapters I and II of [1] might be useful as background reading on set theory and the theory of ordinals (any other good book on semi-axiomatic set theory might also do). J. Dugundji, Topology. Allyn and Bacon, Inc., Boston, 1966.
Current Availability:	Yes