THEMATIC PROGRAMS

October 25, 2014

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)

PARTICIPANTS