Opendata, web and dolomites


Model theory of finite and pseudofinite structures

Total Cost €


EC-Contrib. €






Project "MODFIN" data sheet

The following table provides information about the project.


Organization address
city: LEEDS
postcode: LS2 9JT

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 183˙454 €
 EC max contribution 183˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2014
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2016
 Duration (year-month-day) from 2016-06-01   to  2018-05-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF LEEDS UK (LEEDS) coordinator 183˙454.00


 Project objective

The project is in model theory (mathematical logic), which concerns the expressibility in logical languages of properties of mathematical structures (e.g. graphs, groups, rings). Model theory aims to identify borders between `tame' and `wild' objects in mathematics, and to pin down abstract notions of independence and dimension and understand the geometry of `definable sets' in a structure, often with wide-ranging applications. This project focusses on classes of finite structures (e.g. the class of all finite fields), and on the `ultraproduct' construction which converts a class of finite structures to an infinite `pseudofinite' structure' which inherits properties of the class and is amenable to model-theoretic methods, with applications for the finite structures. Key objectives include: (i) proving a trichotomy for pseudofinite geometries -- they should be `trivial', `group-like', or `field-like'; (ii) developing current concepts from abstract model theory for pseudofinite structures; (iii) identifying first order properties of pseudofinite groups, and constraints on their possible quotients; (iv) finding links between the model-theoretic `independence theorem', Gowers' notion of `quasi-random groups', and the Szemeredi regularity theorem in graph theory. (v) model theory of finite ordered structures, and links to finite model theory.

To support his future academic research career, the Fellow, Garcia, will receive training through research in the model theory groups in Leeds and (through a secondment) Lyon. There will be knowledge transfer to Garcia of expertise in model-theoretic algebra of Leeds and Lyon, and Garcia will also build knowledge of finite model theory and its computer science applications. He will receive complementary training in many research skills (including outreach), and will transfer to Leeds expertise he has gained in the excellent model theory groups in Berkeley and Bogota, while deepening EU-Colombia mathematics links.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "MODFIN" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "MODFIN" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

PNAIC (2018)

Positive and Negative Asymmetry in Intergroup Contact: Its Impact on Linguistic Forms of Communication and Physiological Responses

Read More  

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More  

NaWaTL (2020)

Narrative, Writing, and the Teotihuacan Language: Exploring Language History Through Phylogenetics, Epigraphy and Iconography

Read More