MAA
17 January 2005 to 15 July 2005
Model theory is a branch of mathematical logic dealing with abstract structures (models), historically with connections to other areas of mathematics. In the past decade, model theory has reached a new maturity, allowing for a strengthening of these connections and striking applications to diophantine geometry, analytic geometry and Lie theory, as well as strong interactions with group theory, representation theory of finite-dimensional algebras, and the study of the p-adics. The main objective of the semester will be to consolidate these advances by providing the required interdisciplinary collaborations.
Model theory is traditionally divided into two parts pure and applied. Pure model theory studies abstract properties of first order theories, and derives structure theorems for their models. Applied model theory on the other hand studies concrete algebraic structures from a model-theoretic point of view, and uses results from pure model theory to get a better understanding of the structures in question, of the lattice of definable sets, and of various functorialities and uniformities of definition. By its very nature, applied model theory has strong connections to other branches of mathematics, and its results often have non-model-theoretic implications. A substantial knowledge of algebra, and nowadays of algebraic and analytic geometry, is required.
The programme will concentrate on the following areas
Click here to download the programme's final scientific report
Title | Year | Programme | |
---|---|---|---|
Definable groups and compact $\it p$-adic Lie groupsAuthors: A Pillay, Alf Onshuus |
2004 | MAA | 21 October 2016 |
A remark on Zilber's pseudoexponentiationAuthors: David Marker |
2004 | MAA | 21 October 2016 |
Around unipotence in groups of finite Morley rankAuthors: Olivier Frecon |
2004 | MAA | 21 October 2016 |
Elimination of ramification I: the generalized stability theoremAuthors: Salma Kuhlmann |
2004 | MAA | 21 October 2016 |
Additive polynomials and their role in the model theory of valued fieldsAuthors: Salma Kuhlmann |
2004 | MAA | 21 October 2016 |
Strongly minimal groups in the theory of compact complex spacesAuthors: Rahim Moosa, Thomas Scanlon, Matthias Aschenbrenner |
2004 | MAA | 21 October 2016 |
A generic identification theorem for $L^*$-groups of finite Morley rankAuthors: Alexandre Borovik, Jeffrey Burdges, ET Al, Ayse Berkman |
2004 | MAA | 21 October 2016 |
Involutions in groups of finite Morley rank and degenerate typeAuthors: Gregory Cherlin, Jeffrey Burdges, Alexandre Borovik |
2004 | MAA | 21 October 2016 |
Generix never gives upAuthors: Eric Jaligot |
2004 | MAA | 21 October 2016 |
The rational points of a definable setAuthors: J Pila, Alex Wilkie |
2004 | MAA | 21 October 2016 |
Sheaf cohomology in o-minimal structuresAuthors: Mario Edmundo, Gareth Jones, Nicholas Peatfield |
2004 | MAA | 21 October 2016 |
A note on global $\it p$$^t$$^h$ powers of rigid analytic functionsAuthors: Zachary Robinson |
2004 | MAA | 21 October 2016 |
Maps on ultrametric spaces, Hensel's Lemma, and differential equations over valued fieldsAuthors: Salma Kuhlmann |
2004 | MAA | 21 October 2016 |
On fields and colorsAuthors: Amador Martin-Pizarro, Martin Ziegler, Andreas Baudisch |
2004 | MAA | 21 October 2016 |
Supersimplicity and quadratic extensionsAuthors: Frank Wagner, Amador Martin-Pizarro |
2004 | MAA | 21 October 2016 |
The theorem of the complement for sub-Pfaffian setsAuthors: Patrick Speissegger, Jean-Marie Lion |
2004 | MAA | 21 October 2016 |
Counting and DimensionsAuthors: Frank Wagner, Ehud Hrushovski |
2004 | MAA | 21 October 2016 |
Complex analytic geometry and analytic-geometric categoriesAuthors: Sergei Starchenko, Yaacov Peterzil |
2004 | MAA | 21 October 2016 |
Computing o-minimal topological invariants using differential topologyAuthors: Sergei Starchenko, Yaacov Peterzil |
2004 | MAA | 21 October 2016 |
Compactness of cycle spaces and definability in o-minimal expansions of ${\mathbb R}_{an}$Authors: Patrick Speissegger, Sergei Starchenko, Rahim Moosa |
2004 | MAA | 21 October 2016 |
Model theory of universal covering spaces of complex algebraic varietiesAuthors: Mikhail Gavrilovich |
2004 | MAA | 21 October 2016 |
Exponential and Weierstrass EquationsAuthors: Jonathan Kirby |
2004 | MAA | 21 October 2016 |
Non-commutative geometry and new stable structuresAuthors: B Zilber |
2004 | MAA | 21 October 2016 |
Stable pseudofinite groupsAuthors: Katrin Tent, Dugald Macpherson |
2004 | MAA | 21 October 2016 |
Definable sets in algebraically closed valued fields: elimination of imaginariesAuthors: Ehud Hrushovski, Dugald Macpherson, D Hasklell |
2004 | MAA | 21 October 2016 |
Reconstruction of homogeneous relational structuresAuthors: Dugald Macpherson, Silvia Barbina |
2004 | MAA | 21 October 2016 |
Marshall's and Milnor's conjectures for preordered von Neumann regular ringsAuthors: F Miraglia, Maximo Dickmann |
2004 | MAA | 21 October 2016 |
Definable relations in the real field with a distinguished subgroup of the unit circleAuthors: Oleg Belegradek, B Zilber |
2004 | MAA | 21 October 2016 |
29 March 2005 to 8 April 2005
4 July 2005 to 8 July 2005
11 July 2005 to 15 July 2005
Thursday 20th January 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Alex Wilkie University of Oxford |
Room 1 | |
16:00 to 17:30 |
Alexander Prestel Universität Konstanz |
Room 1 |
Tuesday 25th January 2005 | |||
---|---|---|---|
10:00 to 12:00 |
Enrique Casanovas |
Room 1 | |
16:00 to 17:30 |
Elisabeth Bouscaren |
Room 1 |
Thursday 27th January 2005 | |||
---|---|---|---|
11:00 to 12:30 |
Oleg Belegradek |
Room 1 | |
14:30 to 15:30 |
Alex Wilkie University of Oxford |
Room 1 | |
16:00 to 17:00 |
Alex Wilkie University of Oxford |
Room 1 |
Tuesday 1st February 2005 | |||
---|---|---|---|
11:00 to 12:00 |
Dugald Macpherson University of Leeds |
Room 1 | |
16:30 to 18:30 |
Yaacov Peterzil University of Haifa |
Room 1 |
Thursday 3rd February 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Sergei Starchenko University of Notre Dame |
Room 1 | |
14:30 to 15:30 |
Alex Wilkie University of Oxford |
Room 1 | |
16:00 to 17:00 |
Alex Wilkie University of Oxford |
Room 1 |
Tuesday 8th February 2005 | |||
---|---|---|---|
11:00 to 12:00 |
Ludomir Newelski Wroclaw University of Technology |
Room 1 | |
14:30 to 15:30 |
Angus Macintyre |
Room 2 | |
16:00 to 17:00 |
Angus Macintyre |
Room 2 |
Wednesday 9th February 2005 | |||
---|---|---|---|
11:30 to 13:00 |
Sergei Starchenko University of Notre Dame |
Room 1 |
Thursday 10th February 2005 | |||
---|---|---|---|
08:00 to 10:00 |
Elisabeth Bouscaren |
Room 2 | |
10:00 to 11:00 | Room 1 | ||
11:30 to 12:30 |
Alf Onshuus University of Illinois |
Room 1 | |
14:30 to 15:30 |
Alf Onshuus University of Illinois |
Room 1 | |
16:00 to 17:00 | Room 1 |
Wednesday 16th February 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Angus Macintyre |
Room 1 | |
14:30 to 15:30 |
Thomas Scanlon University of California, Berkeley |
Room 1 | |
16:00 to 17:00 |
Thomas Scanlon University of California, Berkeley |
Room 1 |
Thursday 17th February 2005 | |||
---|---|---|---|
11:30 to 12:30 | Room 1 | ||
14:30 to 15:30 | Room 1 | ||
16:00 to 17:00 | Room 1 |
Wednesday 23rd February 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Angus Macintyre |
Room 1 | |
14:30 to 15:30 |
Daniel Bertrand |
Room 1 | |
16:00 to 17:00 |
Daniel Bertrand |
Room 1 |
Thursday 24th February 2005 | |||
---|---|---|---|
11:00 to 12:00 |
David Marker |
Room 1 | |
16:00 to 17:30 |
Paola D'Aquino |
Room 1 |
Wednesday 2nd March 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Alexandre Borovik University of Manchester |
Room 1 | |
16:00 to 17:30 |
Luc Bélair UQAM - Université du Québec à Montréal |
Room 1 |
Thursday 3rd March 2005 | |||
---|---|---|---|
11:00 to 12:30 |
Jeffrey Burdges Rutgers, The State University of New Jersey |
Room 1 | |
16:00 to 17:30 |
Gregory Cherlin |
Room 1 |
Wednesday 9th March 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Raf Cluckers CNRS - Ecole Normale Superieure Paris |
Room 1 | |
16:00 to 17:30 |
Assaf Hasson University of Oxford |
Room 1 |
Thursday 10th March 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Eric Jaligot Université Paris 7 - Denis-Diderot |
Room 2 | |
16:00 to 17:15 |
Francoise Point |
Room 2 |
Wednesday 16th March 2005 | |||
---|---|---|---|
10:30 to 11:20 |
Tuna Altinel |
Room 1 | |
11:30 to 11:50 | No Room Required | ||
12:00 to 13:00 |
Gregory Cherlin |
Room 1 | |
13:00 to 14:00 | Discussion Room | ||
14:00 to 14:50 |
Eric Jaligot Université Paris 7 - Denis-Diderot |
Room 1 | |
15:00 to 15:50 | Room 1 | ||
16:00 to 16:30 | No Room Required | ||
16:30 to 17:30 |
Alexandre Borovik University of Manchester |
Room 1 | |
17:30 to 18:30 | No Room Required |
Thursday 17th March 2005 | |||
---|---|---|---|
10:00 to 12:00 |
Franz Timmesfeld Mathematisches Institut, Giessen |
Room 2 |
Tuesday 22nd March 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Tuna Altinel |
Room 1 | |
15:30 to 17:00 | Room 2 |
Wednesday 23rd March 2005 | |||
---|---|---|---|
11:00 to 12:30 |
Francois Loeser |
Room 2 | |
15:30 to 17:00 | Room 1 |
Wednesday 13th April 2005 | |||
---|---|---|---|
14:00 to 15:00 |
Mario Edmundo |
Room 1 | |
15:30 to 16:30 |
Mario Edmundo |
Room 1 |
Thursday 14th April 2005 | |||
---|---|---|---|
11:30 to 12:30 | Room 2 | ||
15:30 to 17:00 | Room 1 |
Wednesday 20th April 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Frank Wagner |
Room 2 | |
15:30 to 17:00 |
Mikhail Gavrilovich University of Oxford |
Room 1 |
Thursday 21st April 2005 | |||
---|---|---|---|
13:30 to 15:00 |
Tristram de Piro University of Edinburgh |
Room 2 | |
15:30 to 17:00 |
Askold Khovanskii University of Toronto |
Room 2 |
Wednesday 27th April 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Ehud Hrushovski Hebrew University of Jerusalem |
Room 1 | |
15:30 to 17:00 |
Askold Khovanskii University of Toronto |
Room 1 |
Thursday 28th April 2005 | |||
---|---|---|---|
09:30 to 10:30 |
Yuri Ershov Novosibirsk State University |
Room 1 | |
11:00 to 12:30 |
Maximo Dickmann Université Paris 7 - Denis-Diderot |
Room 1 | |
17:00 to 18:00 |
Yuri Ershov Novosibirsk State University |
Room 1 |
Tuesday 3rd May 2005 | |||
---|---|---|---|
11:00 to 12:30 |
Christian Michaux Université de Mons |
Room 1 | |
16:30 to 18:00 |
Andrei Gabrielov Indiana University-Purdue University Indianapolis |
Room 2 |
Wednesday 4th May 2005 | |||
---|---|---|---|
10:00 to 11:00 |
Margarita Otero Universidad Autonoma de Madrid |
Room 1 | |
11:30 to 12:30 |
Margarita Otero Universidad Autonoma de Madrid |
Room 1 | |
15:30 to 17:00 |
Andrei Gabrielov Indiana University-Purdue University Indianapolis |
Room 1 |
Wednesday 11th May 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Franz-Viktor Kuhlmann University of Saskatchewan |
Room 2 | |
14:00 to 15:00 |
Franz-Viktor Kuhlmann University of Saskatchewan |
Room 2 |
Thursday 12th May 2005 | |||
---|---|---|---|
11:30 to 12:45 |
Philip Scowcroft Wesleyan University |
Room 2 | |
15:30 to 17:00 |
Christian Michaux Université de Mons |
Room 2 |
Wednesday 18th May 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Byunghan Kim |
Room 2 |
Thursday 19th May 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Timothy Mellor Universität Regensburg |
Room 2 | |
14:00 to 15:00 |
Topological properties of sets definable in weakly o-minimal structures |
Room 2 | |
15:30 to 16:30 | Room 2 |
Wednesday 25th May 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Jean-Philippe Rolin Université de Bourgogne |
Room 2 | |
16:30 to 17:30 |
Andrei Gabrielov Indiana University-Purdue University Indianapolis |
Room 2 |
Thursday 26th May 2005 | |||
---|---|---|---|
09:00 to 10:00 |
Andrei Gabrielov Indiana University-Purdue University Indianapolis |
Room 1 | |
10:30 to 11:30 |
Michael Singer North Carolina State University |
Room 2 |
Wednesday 1st June 2005 | |||
---|---|---|---|
11:00 to 12:30 |
Rahim Moosa University of Waterloo |
Room 1 | |
14:00 to 15:00 |
Jean-Pierre Ressayre Université Paris 7 - Denis-Diderot |
Room 1 |
Thursday 2nd June 2005 | |||
---|---|---|---|
11:30 to 12:30 |
Charles Steinhorn Vassar College |
Room 1 | |
14:00 to 15:30 |
Rahim Moosa University of Waterloo |
Room 1 |
Wednesday 8th June 2005 | |||
---|---|---|---|
10:30 to 12:30 |
Lou van den Dries University of Illinois |
Room 1 | |
14:30 to 15:30 |
Model theory of compact complex spaces III: Campana's work on the nonmultidimensionality conjecture |
Room 1 |
Thursday 9th June 2005 | |||
---|---|---|---|
11:00 to 12:00 |
Franz-Viktor Kuhlmann University of Saskatchewan |
Room 1 | |
14:00 to 15:00 | Room 1 | ||
15:30 to 16:30 | Room 1 |
Wednesday 15th June 2005 | |||
---|---|---|---|
10:30 to 12:00 | Room 2 | ||
14:00 to 15:00 |
Alex Wilkie University of Oxford |
Room 2 | |
15:30 to 16:30 |
Alex Wilkie University of Oxford |
Room 2 |
Thursday 16th June 2005 | |||
---|---|---|---|
10:30 to 12:00 |
Uniform first order definitions in finitely generated fields |
Room 2 | |
14:00 to 15:00 |
Franz-Viktor Kuhlmann University of Saskatchewan |
Room 2 |
Wednesday 22nd June 2005 | |||
---|---|---|---|
11:30 to 12:30 | Room 1 | ||
16:00 to 17:00 |
Matthias Aschenbrenner University of Illinois |
Room 1 |
Thursday 23rd June 2005 | |||
---|---|---|---|
15:30 to 17:00 |
Dugald Macpherson University of Leeds |
Room 1 |
Wednesday 29th June 2005 | |||
---|---|---|---|
11:00 to 12:30 |
John Wilson |
Room 1 |
Thursday 30th June 2005 | |||
---|---|---|---|
14:00 to 15:30 |
Uniform first order definitions in finitely generated fields II |
Room 2 | |
16:00 to 17:00 |
Franz-Viktor Kuhlmann University of Saskatchewan |
Room 1 |
Subscribe for the latest updates on events and news
Isaac Newton Institute for Mathematical Sciences, 20 Clarkson Road, Cambridge CB3 0EH United Kingdom
Tel: +44 1223 335999 Email: reception@newton.ac.uk
© 2023 Isaac Newton Institute for Mathematical Sciences. All Rights Reserved. Privacy Policy
INI is a creative collaborative space which is occupied by up to fifty-five mathematical scientists at any one time (and many more when there is a workshop). Some of them may not have met before and others may not realise the relevance of other research to their own work.
INI is especially important as a forum where early-career researchers meet senior colleagues and form networks that last a lifetime.
Here you can learn about all activities past, present and future, watch live seminars and submit your own proposals for research programmes.
Within this section of the website you should find all the information required to arrange and plan your visit to the Institute. If you have any further questions, or are unable to find the information you require, please get in touch with the relevant staff member or our Reception team via our contact pages.
INI and its programme participants produce a range of publications to communicate information about activities and events, publish research outcomes, and document case studies which are written for a non-technical audience. You will find access to them all in this section.
The Isaac Newton Institute aims to maximise the benefit of its scientific programmes to the UK mathematical science community in a variety of ways.
Whether spreading research opportunities through its network of correspondents, offering summer schools to early career researchers, or hosting public-facing lectures through events such as the Cambridge Festival, there is always a great deal of activity to catch up on.
Find out about all of these endeavours in this section of the site.
There are various ways to keep up-to-date with current events and happenings at the Isaac Newton Institute. As detailed via the menu links within this section, our output covers social media streams, news articles, a regular podcast series, an online newsletter, and more detailed documents produced throughout the year.
“A world famous place for research in the mathematical sciences with a reputation for efficient management and a warm welcome for visitors”
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
INI has a vital national role, building on many strengths that already exist in UK universities, aiming to generate a new vitality through stimulating and nurturing research throughout the country.During each scientific programme new collaborations are made and ideas and expertise are exchanged and catalysed through lectures, seminars and informal interaction, which the INI building has been designed specifically to encourage.
For INI’s knowledge exchange arm, please see the Newton Gateway to Mathematics.
The Institute depends upon donations, as well as research grants, to support the world class research undertaken by participants in its programmes.
Fundraising activities are supported by a Development Board comprising leading figures in academia, industry and commerce.
Visit this section to learn more about how you could play a part in supporting INI’s groundbreaking research.
In this section you can find contact information, staff lists, maps and details of how to find INI’s main building in Cambridge.
Our administrative staff can help you with any queries regarding a prospective or planned visit. If you would like to discuss a proposed a research programme or other event, our senior management team will be happy to help.