Details of Grant 

EPSRC Reference:	EP/F009712/1
Title:	Independence groups and measures in model theory
Principal Investigator:	Pillay, Professor A
Other Investigators:	Macpherson, Professor HD
Researcher Co-Investigators:
Project Partners:
Department:	Pure Mathematics
Organisation:	University of Leeds
Scheme:	Standard Research
Starts:	01 October 2007	Ends:	30 September 2010	Value (£):	354,932
EPSRC Research Topic Classifications:	Logic & Combinatorics
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 06 Jun 2007 Mathematics Prioritisation Panel (Science) Announced
Summary on Grant Application Form
This project is in model theory, a branch of mathematical logic. Model theory studies structures and their definable sets. A structure is roughly speaking an (underlying) set, together with some collection of distinguished sets of n-tuples from the set, for varying n. For example one could take the underlying set to be the set of real numbers (the real line) and the distinguished subsets of the plane to be segments of straight lines and regions enclosed by these. Many parts of mathematics can be fruitfully studied as structures.An important part of the project is to study when the definable or distinguished sets in a structure can be assigned measures, in a reasonably coherent way. In the example above one could take the measure of a region in the plane to be its area. This example belongs to the first class of stuctures we are studying where we want to prove that there is exactly one way of assigning measures to distinguished sets. We also study a second broad class of structures, important examples of which are limits in some natural sense, of finite structures, and where counting in the finite structures can be used to assign measures to distinguished sets in the limit. We hope to use the measures in these cases to obtain an understanding of certain algebraic objects such as groups, which are definable in the structures concerned.
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.leeds.ac.uk