| EPSRC Reference: |
GR/S72399/01 |
| Title: |
INTERACT: CHINA A proposal to develop collaborative research links between the UK and PRChina in set theory. |
| Principal Investigator: |
Welch, Professor PD |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics |
| Organisation: |
University of Bristol |
| Scheme: |
Overseas Travel Grants Pre-FEC |
| Starts: |
28 February 2005 |
Ends: |
27 February 2006 |
Value (£): |
2,065
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We propose to visit China to further research work in the UK on set theory, through dialogue and collaboration with researchers there.Our current research relevant to this project, is in axiomatic set theory, that seeks to provide a theoretical underpinning for all of mathematics, but is these days a mature branch of pure mathematics in its own right.A major theme of such current research, in which the applicant works, is to build models or worlds that satisfy the accepted axioms of set theory, and behave very much like one first constructed by Kurt Goedel which proved the consistency with the other axioms of set theory, of statements of mathematical interest such as the Axiom of Choice (equivalently that any set may be wellordered) or the Continuum Hypothesis (that any set of real numbers, if uncountable, is capable of being put in one-to-one correspondence with all the reals). The construction of such models, and the subsequent theorems about the combinatorial properties their ordinals enjoy has provided some deep insights into the structure of the universe of all sets of mathematical discourse.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bris.ac.uk |