In this thesis we have shown that a seemingly complicated mathematical structure can exhibit 'tame behaviour'. The structure we have dealt with is a field (a space in which there are addition and multiplication which satisfy natural properties) together with a dense subset (a subset which has spread in all parts of the this set, as Q does in R) and a discrete subset (a subset comprised of single points which keep certain distances from one another). This tameness is essentially with regards to not being trapped with the 'Godel phenomeonon' as the Peano arithmetic does.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:606927 |
| Date | January 2013 |
| Creators | Khani, Mohsen |
| Contributors | Wilkie, Alex; Tressl, Marcus |
| Publisher | University of Manchester |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Source | https://www.research.manchester.ac.uk/portal/en/theses/the-first-order-theory-of-a-dense-pair-and-a-discrete-group(01e5c6b4-fe53-49c9-8b88-6c47c0ac2f6f).html |
Page generated in 0.0012 seconds