Logic List Mailing Archive

FOM: Midwest Model Theory Meeting, November 11-12 (fwd)

---------- Forwarded message ----------
Date: Mon, 6 Nov 2000 11:32:57 -0500
From: Stephen G Simpson <simpson@math.psu.edu>
To: fom@math.psu.edu
Subject: FOM: Midwest Model Theory Meeting, November 11-12

 From: Patrick Speissegger <speisseg@math.wisc.edu>
 Subject: MWMT'00
 Date: Sun, 05 Nov 2000 08:50:01 -0600
 
 
 MWMT '00: Preliminary Program
 -----------------------------
 
 
 The year's meeting will be held on the weekend of November 11-12, 2000
 at the Department of Mathematics, University of Wisconsin, Madison. 
 Maps, visitor information and driving directions are available at
 Steffen Lempp's homepage
 http://kleene.math.wisc.edu/~lempp/main.html#info. 
   
 
 Mail questions or comments to: Patrick Speissegger, e-mail
 speisseg@math.wisc.edu
 
 ------------------------------------------------------------------------------
 
 All lectures take place in room B239 Van Vleck Hall. 
 
   
 ------------------------------------------------------------------------------
 
 
 Saturday, Nov. 11 
   
 
 0830-0930    Coffee, muffins, etc.  (at the 9th floor lounge of Van
 Vleck Hall) 
   
 
 0930-1030    Matthias Aschenbrenner (University of Illinois,
 Urbana-Champaign):  Ideal Membership in Polynomial Rings over the
 Integers 
 
                    Abstract: Let $f_0, f_1,\dots,f_n$ be polynomials
 in the indeterminates $(C,X)$ with integer coefficients, where $C =
 (C_1,...,C_M)$ is a tuple of parametric variables and $X =
 (X_1,...,X_N)$. Then for each field $K$ the set of $c$ in $K^M$ such
 that $f_0(c,X)$ belongs to the ideal generated in $K[X]$ by
 $f_1(c,X),\dots,f_n(c,X)$ is a constructible subset of $K^M$, that
 is, definable by a quantifier-free formula in the language of
 rings. (This classical theorem, in an equivalent formulation, is
 usually accredited to Grete Hermann, 1926, although it was probably
 already proved in some form or another by Julius K\"onig, 1903.) The
 purpose of this talk is to sketch a proof of an analogue of this
 statement for polynomial rings over the integers.
   
 
 1045-1145    Martin Grohe (University of Illinois, Chicago):  TBA 
   
 
 1200-1300    Jean-Philippe Rolin (Universite de Bourgogne, Dijon,
 France):  Geometric proofs of model theoretic properties 
 
                    Abstract : We present different geometric methods
 for proving some model theoretic properties for several classes of
 sets. These properties are mainly o-minimality, model-completeness
 and quantifier elimination. Moreover, we show how some metric
 properties , such as existence of Lipschitz stratifications or
 estimation of volumes can be deduced from these proofs.
   
 
 1300-1430    Lunch Break 
   
 
 1430-1530    Shawn Hedman (University of Maryland, College Park): 
 Finite Variable Axiomatizability and Local Modularity 
 
                    Abstract: We show that any locally modular almost
 strongly minimal theory can be completely axiomatized by sentences of
 C^k (k variable logic with counting quantifiers) for some k.  We
 discuss the situation for nonlocally modular theories.  It can be
 shown that Hrushovski's new strongly minimal sets cannot be
 axiomatized by sentences of C^k for any k.  Whether the theory of
 algebraically closed fields of a given characteristic admits such an
 axiomatization is Robinson's 6th problem and remains open.
   
 
 1530-1600    Coffee Break  (9th floor lounge) 
   
 
 1600-1700    Byunghan Kim (MIT, Boston):  Stable local forking 
 
                    Abstract: 1) Stable local forking theory was
 developed in early 90s, before simplicity era, by Pillay and
 Hrushovski. 2) Recently discovered definability theory in simple
 context tells us that stable definability theory worked out at least
 to supersimple case. But oddly enough, the development takes reverse
 order of stable case.  Here we study nice interplay between the above
 mentioned 1) stable local forking and 2) simple definability
 theory. Many interesting features between stable forking, canonical
 bases and elimination of hyperimaginaries were revealed.  E.g., if
 low $T$ has strong stable forking, then canonical bases come from
 stable formulas, hence $T$ has elimination of
 hyperimaginaries. (Joint work with A.  Pillay)
   
 
 2000            Party at Patrick's house 
   
   
                        --------------------
 
 
 Sunday, Nov. 12 
 
 0830-0930    Coffee, Muffins, etc.   (9th floor lounge) 
   
 
 0930-1030    Rahim Moosa (University of Illinois, Urbana-Champaign): 
 TBA 
   
 
 1045-1145    Andrei Morozov (Russian Academy of Sciences, Novosibirsk,
 and Novosibirsk State University):  TBA 
   
 
 1200-1300    Artur Piekosz (Cracow University of Technology): 
 Semilinear and semialgebraic loci of o-minimal sets 
   
 
 -------------------------------------------------------------------------------
   
 
 We have a small number of travel grants available for graduate students
 who wish to come to the conference but cannot find funding elsewhere. 
 To apply for such a grant, please contact me directly
 (speisseg@math.wisc.edu). 
 
 
 Most nonlocal participants will be staying at the following hotels: 
 
 Lowell Hall 
 610 Langdon Street 
 MADISON, WI 53706 
 Phone: (608) 256-2621 
 
 and 
 
 Madison Inn 
 601 Langdon Street 
 MADISON, WI 53703 
 Phone: (608) 257-4391. 
 
 Both hotels are at a comfortable 10-15 min. walk from the math
 department.  At this time, there is no guarantee that these hotels
 still have rooms available.  However, when making a reservation,
 mention the Midwest Model Theory Meeting and the UW Math Department.
 (Reservations for invited speakers and supported graduate students
 have been taken care of.  If you are one of them and do not know
 which hotel you are staying at, please contact me!)
   
 Please check http://www.math.wisc.edu/~speisseg/MWMT.html for the
 latest updates.
   
 This year's meeting is supported by the Van Vleck funds through the
 Department of Mathematics at the University of Wisconsin-Madison.