ALGEBRAIC MODEL THEORY PROGRAM
August 1996- June 1997
In 1996-97 The Fields Institute for Research in Mathematical Sciences
will be sponsoring an emphasis year in Algebraic Model Theory. The program
will consist of a mixture of workshops, graduate courses and several lecture
series and seminars. The participation of graduate students and postdoctoral
fellows will be an integral part of the year's activities.
ORGANIZERS
B. Hart (McMaster
University)
A. Macintyre (University of Oxford),
M. Makkai (McGill
University),
R. McKenzie (Vanderbilt University),
A. Lachlan (Simon
Fraser University),
M. Valeriote (McMaster University)
ONGOING ACTIVITIES (BOTH TERMS)
- regular research and graduate seminars
- Robinson lecture series concerning
the interaction between model theory and other disciplines
FALL TERM (SEPTEMBER - DECEMBER)
The following graduate courses will be offered:
There will be a NATO
ASI on Algebraic Model Theory from August 19 to August 30 at The
Fields Institute.
Seminars
September
- Classification of stongly minimal modules over commutative rings
Ivo Herzog (University of Notre Dame)
- Some problems in algebra
Keith Kearnes (University of Arkansas
- Mekler's construction preserves CM-triviality
Andreas Baudish (Humboldt-Universität zu Berlin)
- Purity on Model Theory
Philip Rothmaler (Christian Albrechts Universität, Kiel)
- On central extension of algebraic groups
Tuna Altinel (The Fields Institute)
- Stable varieties
Bradd Hart (McMaster University/The Fields Insitute)
- Which algebras can be represented by modules?
Agnes Szendrei (Bolyai Insitute, University of Szedged)
October
- Open problems in the model theory of valued fields
Franz-Viktor Kuhlmann (Universität Heidelber)
- The number of countable models of a simple theory
Byunghan Kim (The Fields Insitute)
- Valuation theory of exponential fields
Salma Kuhlmann (Universität Heidelberg)
- Pregeometries in finite diagrams
Oliver Lessman (Carnegie Mellon University)
- DPC - Some remarks
Pawel Idziak (Jagillonian University)
- Finite algebras with small free spectrum
Emil Kiss (E^tv^s Lor· nd University)
- Some remarks on Davey/Werner duality
Ross Willard (University of Waterloo)
- Limit laws and generalized number theory
Stan Burris (University of Waterloo)
November
- Countable model theory
Ludomir Newelski (Wroclaw University)
- Elementary equivalence of elliptic function fields
David Pierce (University of Maryland)
- Imperfect bounded PAC fields
Zoe Chatzidakis (Universitè de Paris VII/CNRS)
- The Z4 Problem
Keith Kearnes (University of Arkansas)
- Probabilities for identities
Joel Berman (University of Illinois at Chicago)
- Semigroups and finite algebras
Steven Seif (University of Louisville)
- Big lattices
Ralph Freese (University of Hawaii at Manoa)
- Six easy problems
George McNulty (University of South Carolina)
- Toward undecidability in duality theory via Minsky machines
Ralph McKenzie (Vanderbilt University)
- Categorical equivalence, and the structure of sub-algebra lattices
Cliff Bergamn (Iowa State University)
December
- Imperfect bounded PAC fields (II)
Zoe Chatzidakis (Universitè de Paris VII/CNRS)
- A truncation-free solution of Hardy's problem and undefinability
questions
Franz-Viktor Kuhlmann (Universität Heidelberg)
- The Chautauqua problem
Ross Willard (University of Waterloo/The Fields Institute)
- Automorphism groups of planar lattices
Csaba Szabo (McMaster University/The Fields Institute)
WINTER TERM (JANUARY - JUNE)
January 6-10, 1997,
Workshop on Topology
of Real Algebraic Varieties,
organized by S. Akbulut, G. Mikhalkin, O. Viro
- January 13-17, Workshop on Geometric
Model Theory,
organized by E. Hrushovski, D. Lascar and A. Pillay.
-
- March 17-21, Workshop on The
Model Theory of Analytic Functions,
organized by A. Macintyre and D. Marker.
June 2-6, Informal
Workshop in Model Theory
organized by B. Hart
Seminars
January
- The quasi-minimality of Cr
Boris Zil'ber (Kemerovo State University)
- Computational complexity of polynomial satisfiability in finite
rings
Ross Willard (University of Waterloo/The Fields Institute)
February
- Structure theorems for linearly bounded o-minimal expansions of
groups
Mario Edmundo (Oxford University)
- Non-isolated types in countable superstable
Predag Tanovic (The Fields Institute)
- Quasi-o-minimal groups
Frank Wagner (Oxford University)
- Affine converse of Lie goeometries and the amalgamation property
Ambar Chowdhury (University of Connecticut)
- The o-minimality of the real fields with Pfaffian functions
Simon Chatterjee (Oxford University)
- Finite algbras: labeled congruence lattices
Steve Seif (University of Louisville)
- The residual character of 3-element algebras
Ross Willard (University of Waterloo/The Fields Institute)
March
- Affine covers of Lie geometries and the amalgamation property
Bradd Hart (McMaster University/The Fields Institute)
- Expansions of the real line with o-minimal kernels
Chris Miller (University of Illinois at Chicago)
- The residual character of 3-element algebras, II
Ross Willard (University of Waterloo/The Fields Institute)
- Computational complexity problems involving satisfiability of equations
in semigroups and rings
Steve Seif (University of Louisville), Zeljko Sokolovic (McMaster
University) and Csaba Szabo (McMaster University/The Fields Institute)
- A finite equational babis theorem
Ross Willard (University of Waterloo/The Fields Institute)
April
- Rigid analytic geometry after Tate, Raynaud, Berkovich...
Tim Gardener (Oxford University)
- An undergraduate proof of the Tarski-Seienberg Theorem
Hans Schoutens (McMaster University/The Fields Institute)
- The compactness and completeness theorems
Salma Kuhlmann (Universität Heidelberg)
June
- The valuation property and the structure of Hardy fields
Salma Kuhlmann (Universität Heidelberg)
- The exponential-logarithmic power series field
Franz-Viktor Kulman (Universität Heidelberg)
- The Pfaffian closure of an o-minimal structure
Patrick Speissegger (The Fields Institute)
- Expansions of the real line with o-minimal core
Chris Miller (University of Illinois at Chicago)
- Coordinatisation in simple theories
Bradd Hart (McMaster University/The Fields Insitute)
