Salma Kuhlmann's
Curriculum Vitae (until July 1st 2009)
EDUCATION
- Mathematische Fakultät, Universität Heidelberg,
Germany
Habilitation and Venia Legendi (June 1999)
Habilitation Thesis: Ordered Exponential Fields
Habilitation talk: On Shelling
E8-Quasicrystals (after Moody and Weiss), followed by
a
Colloquium talk: Quasicrystals and Icosians (after Moody
and Patera).
- Universite Paris 7, France
Doctorat de Mathematiques (July 1991)
Thesis: Quelques Proprietes des Espaces Vectoriels Values en
Theorie des Modeles
Advisor: Daniel Lascar
Diplome d'Etudes Approfondies en Mathematiques (June 1984)
Advisor: Daniel Lascar
- McGill University, Montreal, Canada
Bachelor of Sciences: First Class Honours in Mathematics (June
1981).
HONOURS and GRANTS
- NSERC individual research grant 2005--2010 (18,000/year)
- NSERC individual research grant 2001--2005 (17,000/year)
- NSERC individual research grant 1998--2001 (16,000/year)
- President's NSERC fund from the University of
Saskatchewan
(awarded fall 1997)
- Habilitation grant from the German Research
Association
(1995-97)
- Post Doctoral Fellowship from the University of
Heidelberg
(1992-94)
- Ph.D. Fellowship from the French Government (1984-87)
- Graduate Grant from Logic Research Fund of Professor Makkai,
McGill University,
and Scholarship from
Government of Quebec (1981-82)
- Undergraduate Research Award from the Research Council
for Natural
Sciences and Engineering
of Canada (1980)
- Prize: "Morris W. Wilson Memorial Scholarship", McGill
University (1979)
- Award:
``University Scholar'' award by McGill University Scholarships
Committee,
given to recognize outstanding academic achievements (1979).
POSITIONS
- W3 Professur (Lehrstuhl Algebra), Universitaet Konstanz, Germany. Appointed July 1st 2009.
- Professor (with tenure),
University of Saskatchewan (2003-2009)
- Associate Professor
University of Saskatchewan (appointed July 1997)
- Visiting Member at the Fields Institute, Toronto
(academic year 1996-97)
- Habilitation Fellow of the German Research
Association
(1995-97)
- Visiting Professor at the Punjab University,
Chandigarh, India (1995)
- Research Fellow of the University of Heidelberg
(1992-94)
- Graduate Assistant, Mathematics Institute, University of
Heidelberg (1988-89)
- Doctoral Fellow of the French Government, University of
Paris 7 (1984-87).
TEACHING RECORD
- Linear Algebra Math 266 (for honours students) (3 cu)
- Linear Algebra Math 264 (3 cu)
-
Algebra Math 360 (for honours students, 6 cu): group theory, ring
theory, field theory
- Algebra Math 862 (for graduate students, 3 cu): Galois Theory
- Number Theory Math 364 (3 cu)
- Linear Algebra and Geometry Math 358 (6 cu)
- Real Analysis Math 371 (for honours students, 3 cu)
- Topics in Algebra Math 872 (graduate students and faculty, 6cu)
: On Ordered Exponential Fields.
- Abstract Algebra Math 363 (3 cu)
- Calculus Math 101 (3cu)
- Topics in Algebra Math 872 (graduate students and faculty, 3cu)
: Ordered Structures.
- Calculus for Pharmacy Math 115 (3cu)
- Calculus Math 116 Integration Theory (3cu)
POST-GRADUATE, GRADUATE AND UNDERGRADUATE STUDENTS
POST-DOCTORAL FELLOWS
- Katarzyna Osiak
visiting post-doctoral fellow
August - October 2008.
- Mickael Matusinski visiting post-doctoral fellow
March - September 2008.
- Tim Netzer visiting post-doctoral fellow
May - September 2007.
- Andreas Fischer visiting post-doctoral fellow
April 2006 - April 2007.
- Antongiulio Fornasiero visiting post-doctoral fellow
January-March 2005.
- Ulrich Hermisson visiting post-doctoral fellow October 2004
to March 2005.
- Jaka Cimpric
NATO post-doctoral fellow, co-supervised with M. Marshall
(2001--2003).
-
Mikhail Kotchetov Post-Doctoral Fellow, co-supervised
with M. Marshall and K. Taylor (2002--2003).
- Roland Auer, Post-Doctoral Fellow,
co-supervised with F.-V. Kuhlmann and M. Marshall
(2002--2003)
- Matthias Aschenbrenner
visiting post-doctoral fellow
March 2001.
- Marcus Tressl
visiting post-doctoral fellow
March-May 2002.
GRADUATE STUDENTS
- Mehdi Ghasemi expected student, Pd.D. University
Scholarship, will supervise 2008-
- Manuela Haias
M.Sc. Thesis, Saskatoon (August 2007);
On the value groups of exponential and differential ordered fields
, co-supervised.
- Wei Fan
M.Sc. Thesis, Saskatoon (December 2006);
On the moment problem for semialgebraic subsets of the real line
, co-supervised.
- Trevor Green M.Sc. Thesis, Saskatoon
(August 2002);
Properties of Chain Products and Ehrenfeucht-Fraissé
Games on Chains, supervised.
- Hyunku Chun, M.Sc. Thesis, Saskatoon (February 2001);
The orthogonal group of an elliptic space, co-supervised.
- Mahdi Zekavat Ph.D. Thesis, Saskatoon (March 2000):
Orderings, cuts and formal power series, co-supervised.
NSERC UNDERGRADUATE AWARDEES
- Michael Hancock on Algorithms in
Invariant Theory, supervise (Summer 2005).
- Jonathan Lee on Defining right exponentiation on
Algebraic Puiseux Series Fields , supervised (Summer 2003).
- Brian Danchilla on Current Status of some famous open
conjectures in Number Theory
supervised (Summer 2003).
- Jonathan Lee, University of Waterloo , on The DLP for
Elliptic Curves over Finite fields, supervised (Summer 2002)
- Chira Chilliack The Orthogonal Group of Euclidean Space
co-supervised (Summer 2000).
- Amy Mader on Sturm's Algorithm (Computer
Program), co-supervised (Summer 1999).
- Chris Arbuthnott on
A proof of Rosenlicht's
Lemma co-supervised (Summer 1999).
RESEARCH INTERESTS
Algebra, mathematical logic, and analysis. I am working in:
field theory (ordered fields, valued fields, exponential
fields, Hardy fields),
model theoretic algebra (o-minimal structures,
exponential-logarithmic power series, transexponential functions),
ordered algebraic structures (lexicographic orderings,
ordered vector spaces),
models of open induction
(primes and irreducibles in exponential integer parts),
real algebraic geometry
(Positivstellensätze, Moment Problems).
Further interest in:
differential fields, models of arithmetic, geometric model theory.
COMMITTEE WORK
CONFERENCE ORGANIZATION
- International
Conference and Workshop on Valuation
Theory (1999). Organized with F.-V. Kuhlmann, Marshall. Sponsors:
Fields, CRM and PIMS, U of S.
With the Conference and Valuation Theory Home Pages
that we created on that occasion, it has put Saskatoon on the map as the
center for Valuation Theory.
- First
Annual Colloquiumfest
(March 2000). Organized
with F.-V. Kuhlmann. Speakers:
Pfister, Schmüdgen, Bröcker, Dickmann, Lichtman, Powers.
- Second Annual
Colloquiumfest in Real Algebraic Geometry and Model Theory
(March 2001). Organized with F.-V. Kuhlmann and M. Marshall. Speakers:
Aschenbrenner, Bonnard, Cluckers, Dickmann, Powers, Prestel, Scheiderer,
Schweighofer.
- CMS Summer
Meeting 2001 Organized with B. Hart and F.-V. Kuhlmann Session
on Model Theoretic Algebra, with one plenary speaker (Zoe Chatzidakis).
- Third Annual
Colloquiumfest in Algebraic Geometry, Real
Algebraic Geometry and Computational Algebra
(March
2002). Organized with F.-V. Kuhlmann and M. Marshall.
Invited speakers: V. Astier (Paris), R. Auer (Groningen-Saskatoon),
T. Craven (Hawaii), D. Cutkosky (Missouri), H. Knaf (Karlsruhe), E.
Mosteig (Tulane), P. Parillo (Cal. Tech. / ETH Zürich), T. Smith
(Cincinatti), B. Sturmfels (Berkeley), M. Tressl (Regensburg).
- The Fourth
Annual Colloquiumfest in Model Theory and Ordered
Algebraic Structures
(March
2003). Organized with F.-V. Kuhlmann.
Invited speakers:
Lou van den Dries (Univ. of Illinois, Urbana, USA),
Philip Ehrlich (Ohio University,
USA), Tobias Kaiser (Univ. of Illinois,
Urbana, USA), Klaus Keimel (TU Darmstadt, Germany), Margarita Otero (Univ.
Autonoma Madrid, Spain), Thomas Rohwer (Univ. of Illinois, Urbana, USA)
,Thomas Scanlon (Berkeley, USA), Patrick Simonetta (Paris 7, France)
, Patrick Speissegger (Wisconcin, Madison USA), Charles Steinhorn
(Vassar College, USA).
-
The Sixth
Annual Colloquiumfest on
Positivity, the Multi-Dimensional Moment Problem and Noncommutative Real
Geometry.
(April 2005).
- Saskatchewan
Algebra and Number Theory Mini-meeting (September 2002). Organized with
Dr. A. Herman.
- Saskatchewan Mathematics
Mini-meeting
(January 2003).
- Mini-Conference
Topics in Real Algebraic Geometry
Saskatoon dedicated to Professor Danielle
Gondard, on the occasion of her 60th Birthday
(Oct. 5 - 6, 2006)
- Banff
International Research Station 5 days Workshop on Positive
Polynomials and Optimization (Oct 07 - Oct 12, 2006)
EDITORIAL:
RESEARCH SEMINARS and WORKSHOPS ORGANIZATION
-
Positive Polynomials and the multi-dimensional Moment
Problem mini course,
Weizmann
Institut, Israel (July 2008).
-
Hilbert's
17th Problem and Positive Polynomials
mini-course Universite Paris 6 (October
2007).
-
Positive Polynomials and
the Moment Problem mini-course,
Centre
Emile Borel, Institut Henri Poincare (Fall 2005).
-
Groupe de
Travail "o-minimalite, Transseries et Modeles non-Archimediens"
Co-organized with Professor J.-P. Ressayre, 2003-2004, resumed 2007.
-
Cryptography Student Seminar I organized this
Seminar for Mathematics and Computer Science Students (Summer 2002).
-
Colloquium of the
Mathematical Sciences
Group.
I organized this Colloquium with the aim of bringing
mathematicians (in particular, logicians) and computer scientists
together, by inviting talks on topics of interest to both groups.
-
The
Algebra and Logic
Seminar 1997-2007. Organized
by the Research Center
for Algebra, Logic and Computation .
Main topics: Model Theoretic Algebra and Real Algebraic Geometry.
Speakers: M. Aschenbrenner, V. Astier, E. Becker,
I. Bonnard, H. Brungs, Z. Chatzidakis, J. Cimpric, M. Dickmann, R.
Dorrego, J. Funk, D. Gondard, T. Green, D. Haskell,
S. Khanduja, H. Knaf, K. Kurdyka, C.
Miller, E. Mosteig, T. Netzer, H. Perdry, V. Powers, A. Prestel, S.
Priess, M. Putinar,
P. Roquette, H. Schoutens, C. Scheiderer, N. Schwartz, M. Schweighofer,
P. Speissegger, M. Spivakovsky, B. Sturmfels, B. Teissier, M. Tressl,
V. Vinnikov.
- Geometric Algebra seminar (1999-2000) (our graduate
students lectured on Artin's book)
- Seminar on Sturm Algebra (Summer 1999) for our
undergraduate NSERC Summer Students.
- Seminar on Quasicrystals
(May 1999) invited Prof. Moody, Prof. Weiss, Prof. Baake.
- I gave a Mini-Course on the Algebra and Model Theory of
Exponential Fields, Louisiana State University, Baton Rouge, USA
(spring 1996).
- Model Theory (co-organized with Prof. Gloede),
University of Heidelberg (1995).
- Exponential Fields (co-organized with Prof.
Roquette), University of Heidelberg (1993-94).
RESEARCH VISITS
-
(January--July 2009). The Fields Institute, Invited to
participate
to the Thematic Program on o-minimal structures and real analytic
geometry
- Sabbatical Leave
September 2007--January 2008:
University of Slowenia, Ljubljana September 5 to September
15th. Invited Professor at Univ. Paris 6 (October). Equipe de Logique,
CNRS, Univ. Paris 7, October 1 to December 1st. Laboratoire d'analyse et
d'Architecture des Systemes, CNRS, Univ. de Toulouse, December 1 to
December 16th.
- Two weeks research visit to
Department of Mathematics, Ben-Gurion University, Israel. April 2007.
- One week research visit
to
Institute for
Mathematics and its Applications
, January 2007.
- Invited Professor of University of Paris 7.
I taught a course on "Positive polynomials and the Moment
Problem" at
Centre Emile Borel, Institut Henri Poincare
for the research trimester
"Real Geometry" September 12 - December 16, 2005.
- Participant to the
Model theory
research semester,
Newton Institute, University of Cambridge, UK, spring 2005.
- Sabbatical Leave
September 2003--July 2004
: Equipe de Logique, CNRS, Univ. Paris 7, Paris
France.
- One week research visit to Universidad Autonoma Madrid, Spain
(invited by Prof. M. Otero, November 2003).
- Two weeks research visit to University of Ljubljana,
Slovenia (invited by J. Cimpric, January 2004).
- One week research visit to University of Regensburg,
Germany (invited by M. Tressl, February 2004)
- Two weeks research visit to University of Bonn, Germany.
(invited by
Prof. Koepke, May 2004)
-
1 week research visit TU Darmstadt (invited by
Prof. K. Keimel, July 2003)
- 1 week research visit Set Theory and Analysis Program,
Fields Institute (Fall 2002)
- I was invited to visit Professor Saharon Shelah in
Rutgers (October 2001)
- One week research visit to Jussieu Paris 6 and Paris 7
Paris, France (June 2000 and June 2001)
- One week research visit to the Departement de
Mathematiques, Université du Maine, Le Mans, France
(June 1998).
- Visiting Member of the Mathematical Sciences Research
Institute, Berkeley,
for the Model Theory of Fields Program (May - June 1998).
- Visiting Member of the Fields Institute, Toronto, for
the Emphasis Year on Algebraic Model Theory: Geometric Model
Theory, and Model Theory of Analytic Functions (1996-97).
- I participated in the Special Semester on Real
Algebraic Geometry and Ordered Algebraic Structures at the
Louisiana State University, Baton Rouge (spring 1996).
- I was invited by W. C. Holland and S. McCleary for
a one week research visit at the Bowling Green State University.
- I was invited to the Tata Institute, Bombay, by Prof.
Parimala for a one week research visit (March 1995).
- I was invited to the Punjab University at Chandigarh,
India, by Profs. Sankaran and Khanduja for a 3 months research visit. I
gave a graduate course on the algebra and model theory of exponential
fields.
SELECTED INVITED TALKS AND CONFERENCE PARTICIPATION
Academic Year 2007-2008
- Special
Session on Real Algebraic Geometry, Applications and Related
Topics, MTNS 08, Blacksburg, Virginia (July 2008)
-
Special Session on Model Theory and Applications to
Geometry, CMS-SMF joint Meeting, University of Montreal ; invited
speaker (June 2008)
- Special Session on Real
Algebra and its interactions with Functional Analysis, LAW'08,
Kranjska Gora, Slovenia (May 2008)
- Seminaire
Structures Alg\'ebriques Ordonn\'ees, Paris 7; invited speaker
(May 2008)
- Logic Seminar Notre Dame University,
South Bend (November 2007)
- Logic Seminar
Universite de Mons-Hainaut, Belgique 3 talks (November 2007)
- Seminaire General de Logique, Paris 7;
invited speaker (November 2007).
Academic Year 2006-2007
- Journees en l'Honneur de Max Dickmann, Univ. Paris 7;
invited speaker (June 2007)
- Seminaire Equations Differentielles,
Universite de Bourgogne; invited speaker (June 2007).
- Special Session on Contemporary
Model Theory and its Applications
CMS Summer Meeting
University
of Manitoba, Winnipeg
; invited speaker (June
2007)
- Prairies Mini-Meeting, Univ. of Regina; invited speaker (May
2007).
- Math Colloquium, Ben Gurion Univ;
invited speaker
(April 2007).
- Set Theory Seminar, Ben Gurion Univ.;
invited speaker
(April 2007).
- Algebraic Geometry Seminar, Ben Gurion Univ.;
invited speaker
(April 2007).
- Set Theory Seminar, Hebrew Univ.;
invited speaker
(April 2007).
- Algebra Seminar, Univ. of Haifa
invited speaker (two talks)
(April 2007).
- Seminar Reelle Algebraische Geometrie, Univ. Regensburg;
invited speaker
(March 2007).
-
Seminaire General de Logique,
Paris 7; invited speaker (March
2007).
-
Seminaire Structures Algebriques Ordonnees,
Paris 7; invited speaker (March
2007).
- Workshop on Real Algebraic Geomerty,
Oberwolfach; invited participant (March 2007).
- Association for
Symbolic Logic, Annual Meeting, University of Florida, Gainesville;
plenary speaker
(March 2007).
- Workshop on
Optimization and Control,
IMA, University of Minnesota, Minneapolis; plenary speaker
(January
2007).
- workshop "Positive Polynomials and Optimization", BIRS;
organizer and participant
(October 2006)
- Colloque "o-minimalite", Equipe de Logique, CNRS Paris 7;
participant
(September 2006)
- Mini-Symposium on Polynomial Inequalities and Applications,
Kyoto, Japan, organizors:
Bill Helton, Pablo Parrilo, Mihai Putinar; invited participant (July 2006).
Academic Year 2005-2006
- CARTHAPOS2006 A Workshop-Conference on Positivity, Tunis;
invited participant (June 2006).
- Special Session on Model
Theory, Annual Meeting of the Canadian Mathematical
Society, Calgary; invited speaker (June 2006).
- Workshop on Extreme Forms of real algebraic varieties, AIM,
Palo Alto, organizors: Ilia Itenberg, Grigory Mikhalkin, Oleg Viro
; invited participant (April 2006).
- Model Theory Seminar, McMaster, Hamilton
Differentiel fields of exponential-logarithmic power series
(February
2006)
- Seminaire general de Logique, Universite Paris 7,
Paris: Corps Differentiels de series
exponentielles-logarithmiques
(November
2005)
- S'eminaire Alg`ebre et G'eometrie, Universit'e de
Versailles - Saint-Quentin, Versailles:
Polyn^omes positifs et probl`eme des moments (3
talks) and Corps de Transs'eries
(November-December
2005).
Academic Year 2004-2005
- Set Theory Seminar, University of East Anglia, Norwich
UK: Lexicographic Exponentiation of Chains (May 2005).
- MAA Seminar, Newton Institute, Cambridge ,
UK: Truncation Integer Parts of Valued Fields (May 2005).
- Conference on Positive Polynomials, CIRM Luminy ,
France: The Invariant Moment Problem (March 2005).
Academic Year 2003-2004
- Workshop and Conference on Logic, Algebra and Arithmetic, IPM
Tehran, Iran: Primes and Irreducibles in Power Series Rings.
2 Talks (October 2003).
- Colloquium, Shiraz University, Iran:
A talk on Model Theory. (October 2003).
- Seminaire general de Logique. Universite Paris 7,
France: Lexicographic Exponentiation of Chains. (November 2003).
- Algebra Seminar Universitad Autonoma Madrid ,Spain:
Primes and Irreducibles in Exponential Integer Parts of Ordered
Exponential Fields.(December 2003).
- Cairo University, Egypt: A talk on Real Closed
Fields. Colloquium, (January 2004).
- Seminaire general de Logique. Universite Paris 7 , France:
Corps de series Exponentielles Logarithmiques. (February 2004).
-
Seminar Real Algebraic Geometry Universitaet Regensburg ,
Germany: Primes and Irreducibles in Power Series Rings.
(February 2004).
- Seminaire Algebre et Geometrie. Universite de Versailles
Saint-Quentin, France: Primes and Irreducibles in Ordered Group
and Power Series Rings. 3 Talks (March, May, June 2004).
- Algebra Seminar, University of Pisa, Italy: Exponential
Integer Parts of Exponential Fields. (March 2004).
-
Seminaire de Structures Algebriques Ordonnees, Universite Paris 7,
France: Positivstellensatz et le Probleme des Moments. (March
2004).
- Workshop on Algorithmic, Combinatorial and Applicable Real
Algebraic Geometry, MSRI Berkeley USA: On G-Invariant Moment
Problems. (April 2004).
- Colloquium, Universite d'Angers, France:
Le Probleme des Moments. (April 2004).
- Kolloquium, Universitaet Bonn, Germany:
Positivstellensatz and the Moment Problem. (May 2004).
- Logik Kolloquium, Universitaet Bonn, Germany:
kappa-bounded Exponential-Logarithmic power series fields. (May
2004).
- Colloquium, Zagreb University, Croatia: Hilbert's 17th
problem and The moment problem. (June 2004).
- Keldysh International Conference and Workshop, Moscow State
University, Russia: Hausdorff's Lexicographic Chains,
(August 2004).
Academic Year 2002-2003
- Real Algebraic Geometry mini conference, Universitaet
Regensburg, Germany: Exponential Integer Parts of the
Exponential-Logarithmic Power Series Field (July 2002).
- Colloquium TU Darmstadt Germany: Lexikographische
Exponentiation Angeordneter Mengen (October 2002).
- Logik Kolloquium Universitaet Bonn: Lexikographische
Produkte Angeordneter Mengen (October 2002).
- Seminaire Stuctures Algebriques Ordonnees Paris 7:
Une Partie Exponentielle Entiere du corps de series Exponentielles-
Logarithmiques (October 2002).
- Algebra Colloquium, Univ. Complutense Madrid, Spain:
The moment problem (November 2002).
- Sixth Annual Conference in Ordered Algebraic Structures
Vanderbilt University, Nashville Tennessee, USA:
Lexicographic Exponentiation of Chains.
(March 2003).
- First Joint International Meeting American Mathematical
Society and the Real Sociedad Matemtica Espanola, Seville,
Spain: Representation of Polynomials Positive on
Subsets of the Real Line, with Applications to the Multidimensional
Moment Problem.
(June 2003).
Academic Year 2001-2002
- London Mathematical Society regional
meeting on Model Theory, University of Birmingham, UK: On the
Arithmetic of Lexicographic Exponentiation (March 2002).
- Logic Colloquium McMaster University, Hamilton:
On the Arithmetic of Lexicographic Exponentiation (February 2002).
- Colloquium York University, Toronto:
Ordered Exponential Fields (February 2002).
- CUNY Logic Workshop New York City: Exponential
Logarithmic Power Series (October 2001).
Academic Year 2000-2001
- Real Algebraic Geometry Meeting, Université de Rennes 1:
Sums of Squares and the multi-dimensional moment problem (June 2001)
- Université Paris 7, France, Seminaire sur les structures
algébriques ordonnées
Une propriété de maximalite du corps de Hardy
(June 2000) and
Ordres Lexicographiques (June 2001)
- CMS Summer Meeting (Model Theoretic Algebra Session),
University of Saskatchewan:
Lexicographic Orderings
(June 2001)
- Symposium in Mathematics in honor of Professor Saharon Shelah,
winner of the Bolyai and Wolf Prizes, Ben Gurion
University of the Negev, Israel, (3 workshop lectures): Mini-Course
on Exponential Fields (May 2001).
- ASL Annual Meeting, University of Pennsylvania (plenary
talk):
Ordered Exponential Fields (March 2001)
Academic Year 1999-2000
- University of Munich, Germany, Oberseminar
Priess-Crampe:
Eine Maximalität Eigenschaft für Hardykörper
(June 2000)
- McMaster University, Hamilton, CMS Summer Meeting (Logic
Section):
A maximality property for the Hardy Field of the
expansion by real powers and restricted analytic functions (June
2000).
- San Antonio, Texas, AMS annual meeting (Model Theory
Section) :
The Hardy field of a polynomially bounded +(exp) o-minimal
expansion of the reals (January 2000)
Academic Year 1997-1998
- Association for Symbolic Logic, Spring Meeting, Toronto,
Model Theory Section:
The growth rates of exponentials in models of real exponentiation
(May 1998)
- Conference on f-Rings, University of Florida at
Gainesville:
The valuation theoretic structure of Hardy fields (February 1998)
- University of Heidelberg, Germany, AG Modelltheorie und
Algebra:
Hardykoerper (July 1997)
- University of Munich, Germany, Oberseminar
Priess-Crampe:
Hardykoerper (July 1997)
Academic Year 1996-1997
- York University, Toronto, Algebra Seminar:
Formally Exponential Fields (June 1997)
- Ecole Normale Supérieure, Paris:
Les corps de Hardy (Mai 1997)
- Freie Universitaet Berlin, Berliner Logikkolloquium:
Exponentiation und Potenzreihenkoerper (Mai 1997)
- Humboldt Universitaet Berlin:
Exponentielle Hardykoerper (May 1997)
- University of Wisconcin, Madison, Logic Seminar:
Exponentiation in Power Series Fields and o-minimal expansions of
the reals (May 1997)
- Ryerson Polytechnic University, Toronto: Hardy
Fields
(April 1997)
- Conference on Order, Logic and Appications CIRM, Luminy,
France: Valuation Theory of Exponential Hardy Fields, part I and
II (April 1997)
- University of Durham, England, Research Symposium on Model
Theory of Fields: Exponentiation (July 1996)
Academic Year 1995-1996
- Université Paris 7, France, Seminaire sur les structures
algébriques ordonnées:
Le rang exponentiel (June 1996) and
La classification de structures ordonnees (November 1987)
- Université Paris 7, France, Groupe de travail sur les
corps exponentiels:
Exponentiation dans les séries formelles (January 1996)
- University of Wesleyan, Middletown, Connecticut, Logic
Seminar
and
University of Maryland, Washington D. C., Logic Seminar:
Exponentiation in power series fields and the exponential rank
(May 1996)
- Tulane University, New Orleans, Algebra Seminar:
Ordered exponential fields (April 1996)
- Southern University, Baton Rouge, Colloquium:
The exponential story (April 1996)
- Louisiana State University, Baton Rouge,
Colloquium: Nonarchimedean exponential fields
AMS Special Session: Exponentiation in power series fields
(April 1996)
- Université de Caen, France, Seminaire de Logique et
Algorithmique:
Exponentiation dans les séries formelles (January 1996)
Développements récents en algèbre et
théorie des modèles des corps exponentiels (January 1994)
- Bowling Green State University
Colloquium: Ordered exponential fields
Algebra Seminar:
Logarithmic cross-sections in power series fields and
Lexicographic orderings and exponentiation
(September 1995)
- Rutgers University, New Brunswick, Seminar on Algebra and
Logic:
Lexicographic orderings and the nonexistence of exponential power
series fields (September 1995)
- McGill University, Montreal, Category Theory Research
Center:
What do we know about exponential power series fields?
(August 1995)
Academic Year 1994-1995
- Curacao, Conference on Ordered Algebraic Structures:
Logarithmic cross-sections of real closed fields (June 1995)
- Himachal Pradesh University, India, Colloquium:
Nonarchimedean ordered fields (March 1995)
- Tata Institute of Fundamental Research, Bombay:
The Algebraic Structure of Exponential Fields, and
Valuation and model theory of real exponentiation
(March 1995)
Academic Years 1990-1994
- University of Munich, Germany, Oberseminar Algebra:
Ueber die Konstruktion nichtarchimedischer exponentieller Koerper
(May 1994)
- Oberwolfach, Mathematisches Forschungsinstitut,
Conference on Nonstandard Analysis:
The valuation theoretic interpretation of
exponentiation (February 1994), and
Conference on Abelian Groups: Valued and ordered
abelian groups - some recent developments and applications (joint talk
with F.-V. Kuhlmann) (August 1993)
- Universite d'Angers, France, Journée de Théorie des
modèles:
Abelian groups with contractions (December 1993)
- University of Leeds, England, Leeds Logic Conference: On
the structure of nonarchimedean exponential fields (December 1993)
- Queen Mary and Westfield College, London, England, Seminar
of
model theory and combinatorics: On the algebra and model theory of
valued and ordered vector spaces (December 1993)
- C.I.R.M. Luminy, France, Second Conference on ordered groups
and
infinite permutation groups: Exponential value groups (July 1993)
- Humboldt University Berlin, Wendisch-Rietz, Easter
Conference on Model Theory:
On the structure of exponential fields (1993), and
Valued vector spaces (1990)
- University of Crete, Greece, Summer School in the Model
Theory of Fields:
A structure theorem for countable exponential fields (August 1992)
- Universitaet Bielefeld, Germany, Meeting of the Deutsche
Mathematiker Vereinigung:
Zur Modelltheorie der bewerteten Vektorraeume (1991)
Talks held at the Fields Institute, Toronto, 1996-97:
-
Model Theory Seminar:
Valuation Theory of ordered exponential fields, part I and II
(October 1996).
The compactness and completeness theorems
(April 1997).
The Valuation Property and the structure of Hardy Fields (June
1997).
- Singularity Theory Seminar:
Exponential Hardy fields (March 1997).
- Valuation Theory Workshop (April 1997):
Valuation Theory of ordered analytic fields.
Quantifier Elimination for Tan,exp .
Last updated March 2, 2010