Address
Department of Mathematics
University of Wisconsin
480 Lincoln Drive
Madison,
WI 53706-1388
USA
From July 11 to December 19, 2009:
School of Mathematics,
Statistics and Operations Research
Victoria University of
Wellington
Cotton Building
Kelburn Parade
P.O. Pox 600
Wellington 6140
New Zealand
Phone/Fax/Email
Office: +1-608-263-1975
Department: +1-608-263-3054
Fax: +1-608-263-8891
Email: lempp@math.wisc.edu
From July 11 to December 19, 2009:
Office: TBA
Department: +64-4-463 5341
Fax: +64-4-463 5045
Email: lempp@math.wisc.edu
Information for UW graduate students in math or with math minor
Conferences I plan to attend (and other times I will be out of town)
- June 29-July 3, 2009:
4th Conference on
Logic, Computability and Randomness, Marseille, France
- July 11-December 19, 2009: sabbatical at
Victoria
University of Wellington, New Zealand
- September 28-October 1, 2009:
Annual Meeting
of the Australian Mathematical Society, University of South Australia,
Adelaide
- May 23-28, 2010:
Meeting
in Algorithmic Randomness, University of Notre Dame
Other conferences of interest to logicians
- July 5-10, 2009:
Second
European Set Theory Meeting: In Honor or Ronald Jensen, Bedlewo, Poland
- July 19-24, 2009:
Computability in Europe 2009, Heidelberg, Germany
- July 31-August 5, 2009:
ASL European Summer
Meeting (Logic Colloquium '09), Sofia, Bulgaria
- August 9-14, 2009:
ESF Research
Conference in Model Theory, Bedlewo, Poland
- August 11-14, 2009:
Logic in Computer Science (LICS 2009), Los Angeles
- August 17-21, 2009:
"Effective
Mathematics of the Uncountable" (EMU 2009), CUNY Graduate Center,
New York City
- August 18-22, 2009:
Computability and
Complexity in Analysis 2009 (CCA 2009), Ljubljana, Slovenia
- August 24-28, 2009:
Mal'tsev Meeting 2009, Novosibirsk
- August 30-September 1, 2009:
Conference "Computability and Models" in algebra,
mathematical logic and applications, Ust-Kamenogorsk, Kazakhstan
- February 17-20, 2010:
"Logical
Approaches to Barriers in Computing and Complexity" (a joint meeting
of the "Deutsche Vereinigung für Mathematische Logik und für
Grundlagen der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo
Logiki i Filozofii Nauki" (PTLiFN), the "Association Computability in
Europe" (ACiE) and the "European Association for Computer Science Logic"
(EACSL)), Greifswald, Germany
- March 17-20, 2010:
ASL Annual Meeting, Washington, D.C.
Travel information for foreign visitors to the UW math department
IMPORTANT CHANGE FOR VISA WAIVER TRAVELERS: You will now
need to pre-register three days before arrival in the United
States at the ESTA web site.
(See here for more details.)
Since September 11, 2001, visa regulations for foreign visitors have become
much stricter. In particular, the "wrong kind" of visa can result in
- your being denied a visa,
- your being denied entry at the border even if you have a visa or do not
need a visa to enter the U.S. as a tourist,
- the department being unable to pay you any money for travel expenses,
honorarium, consulting fees, or salary even if such payment was promised
to you before, or
- your children being unable to attend public school in the U.S.
In particular, a tourist visa B-2 (or tourist visa waiver WT) allows us to
pay you for at most nine days of travel expenses; so you
should always try to get a business visa B-1 (or business visa waiver WB)
whenever you come for shorter visits over nine days. If you are eligible for
a visa waiver (check here for the
list of eligible countries), then you should make sure at the
border that you show the immigration official an official letter of
invitation from us and that the immigration official circles "WB" on your
entry stamp in your passport. Do not leave from this official
until your passport stamp is correct, since this cannot be
changed later on!
Here are some useful links:
State Department web sites on U.S. visas
Related information for visitors
My primary research interest is computability in its various aspects,
both in classical computability theory, in particular degree structures,
and in applications of computability to model theory,
algebra, proof theory, and computer science.
Some particular problems I am currently working on include
- algebraic structures of, and decidability of fragments of theories of,
degree structures (esp. the c.e. Turing degrees, the d.c.e. and n-c.e.
Turing degrees, and the Sigma02-enumeration degrees),
- lattice embeddings into the computably enumerable Turing degrees,
- computable linear orders and Boolean algebras,
- characterization of computable algebraic structures by classical
invariants (e.g., Ketonen invariants and Ulm invariants),
- degrees of models of aleph1-categorical theories, and more
generally of trivial theories of finite Morley rank,
- proof-theoretical strength of Ramsey's Theorem for pairs and related
combinatorial principles,
- equivalence of Martin-Löf randomness with other notions of randomness
(in particular Kolmogorov-Loveland randomness).
My curriculum vitae and bibliography
My publications on line
Since September 1, 2003, I have been serving as the logic editor for the
Transactions of the AMS and the Memoirs of the AMS.
Electronic submissions to the Transactions of the AMS or the Memoirs of the
AMS must now be made
on
line, preferably indicating there the editor by whom the submission
should be handled. Alternatively, hard copy submissions can be mailed to:
Centralized Manuscript Processing, Transactions of the AMS (or Memoirs of the
AMS), 201 Charles Street, Providence, RI 02904-2294, USA.
Please note that the minimum number of pages (in 10pt!) for the Transactions
of the AMS is now 15 pages!
Prospective authors should note that the Transactions and the Memoirs receive
many more submissions than can be published. Click
here to view the
letter I send to all referees.
This book series is now published by the Association for Symbolic Logic
in cooperation with
Cambridge University Press.
The editors, Anand
Pillay (managing editor, University of Leeds, England),
Jeremy Avigad (Carnegie Mellon University),
Shaughan Lavine
(University of Arizona),
Vladimir Kanovei
(Institute for Information Transmission Problems, Moscow),
Thomas Wilke
(University of Kiel, Germany), and I,
Steffen Lempp,
invite book proposals from authors by email or postal mail.
- Algorithmic
Randomness FRG (maintained by
Rebecca
Weber, Dartmouth)
- AMS 2000 Mathematics Subject
Classifications
- arXiv.org in
logic (open-access database of papers in math and science, maintained
by Cornell University)
- Bibliography of
General Theory of Computability (maintained by Igor A. Lavrov,
contains also many papers in Russian)
- Bibliography on Boolean algebras (maintained by
Don
Monk, University of Colorado)
- Computability in
Europe (CiE) (maintained by
Barry Cooper, Leeds, England)
- Computability theory (maintained by
Peter Cholak,
Notre Dame)
- Computer
Science Bibliography (maintained by the
University of Trier,
Germany)
- Copyright Page of the International Mathematical Union
(maintained by Wilfrid Hodges, Queen Mary College, University of London)
- DigiZeitschriften (an open-access database of several
free math journals from German-speaking countries, maintained by the
University of
Göttingen)
- Google's list "Logic and Foundations"
- JSTOR (Journal Storage,
maintained by the Carnegie Mellon Foundation, requires subscription by
your institution, or
ASL membership)
- Lattice
Drawing (maintained by
Ralph
Freese, University of Hawai'i)
- Math-Net.Ru: All-Russian Mathematical Portal (maintained
by Steklov Mathematical
Institute of the Russian Academy of Sciences)
- Math journal price surveys (maintained by
Ulf Rehmann, Bielefeld, Germany)
- Mathematical
Logic around the world (maintained by
Martin Goldstern, Technical University of Vienna, Austria)
- Mathematics
Genealogy Project (supported by North Dakota State University)
- Mathematics on the Web (including foreign-language mathematical dictionaries, maintained by
the AMS)
- Open
Problems from the Banff Workshop on Computability, Reverse Mathematics
and Combinatorics (organized by Peter Cholak, Barbara Csima, Steffen
Lempp, Manuel Lerman, Richard Shore and Ted Slaman in December 2008)
- Project Euclid (a
non-profit journal database maintained by Cornell University and primarily
funded by the Mellon Foundation)
- Research groups in logic and theoretical computer science
(maintained by Anton Setzer, Swansea, Wales)
- Shelah
Archive (maintained by Technical University of Vienna, Austria)
Information on special Ph. D. Programs in Logic
The ASL Committee on Translations offers a Russian
translation of Bruno Poizat's
"Cours de théorie des modèles"
("A Course in Model Theory") for
free download.
I also administer the program of the
Association for Symbolic Logic (ASL) offering
free subscriptions to
the Journal
of Symbolic Logic and the
Bulletin
of Symbolic Logic
to university libraries in the non-EU countries of the former Soviet Union.
For more information about this program, click here
for information in English or in
Russian (KOI-8 encoding or
Windows-1251 encoding).
- Klaus Ambos-Spies, University of Heidelberg, Germany
- Andy Arana,
Kansas State University, Manhattan, Kansas
- Marat Arslanov, Kazan State University, Russia
- Matthias
Aschenbrenner, UCLA
- Jeremy Avigad,
Carnegie Mellon University
- John Baldwin,
University of Illinois-Chicago
- Verónica Becher, University of Buenos Aires,
Argentina
- Itaï
Ben Yaacov, University of Lyon, France
- Michael Benedikt, Oxford University, England
- Vasco Brattka,
University of Cape Town, South Africa
- Jeff
Burdges, University of Manchester, England
- Jin-Yi Cai, University
of Wisconsin-Madison
- Wesley Calvert, Murray State University, Kentucky
- Doug Cenzer,
University of Florida
- Peter Cholak,
University of Notre Dame
- Chi Tat
Chong, National University of Singapore
- Barry Cooper, University of Leeds, England
- Barbara Csima,
University of Waterloo, Ontario, Canada
- Alf
Dolich, East Stroudsburg University, Pennsylvania
- Rod
Downey, Victoria University of Wellington, New Zealand
- Mirna
Džamonja, University of East Anglia, Norwich, England
- Peter Fejer,
University of Massachusetts at Boston
- Harvey Friedman, Ohio State University
- Su Gao,
University of North Texas
- Sergey
Goncharov, Novosibirsk State University and Russian Academy of
Sciences, Russia
- Noam
Greenberg, Victoria University of Wellington, New Zealand
- Valentina
Harizanov, George Washington University
- Ward Henson,
University of Illinois-Urbana
- Denis
Hirschfeldt, University of Chicago
- Jeff Hirst,
Appalachian State University, Boone, North Carolina
- Steve Jackson,
University of North Texas
- Carl Jockusch,
University of Illinois-Urbana
- Asher Kach,
University of Connecticut-Storrs
- Bart Kastermans,
University of Wisconsin-Madison
- Jerry Keisler,
University of Wisconsin-Madison
- Tom Kent,
Marywood University, Scranton, Pennsylvania
- Bakhadyr
Khoussainov, University of Auckland, New Zealand
- Byunghan Kim,
Yonsei University, Seoul, South Korea
- Bjørn
Kjos-Hanssen, University of Hawai'i
- Peter Koepke, University of Bonn, Germany
- Ulrich Kohlenbach, University of Darmstadt, Germany
- Ken Kunen,
University of Wisconsin-Madison
- Jean
Larson, University of Florida
- Chris Laskowski,
University of Maryland-College Park
- Andy Lewis, University
of Leeds, England
- Jack Lutz,
Iowa State University, Ames
- Dave
Marker, University of Illinois-Chicago
- Wolfgang Merkle, University of Heidelberg, Germany
- Joe
Mileti, Dartmouth College
- Arnie Miller,
University of Wisconsin-Madison
- Ben Miller
- Joe
Miller, University of Wisconsin-Madison
- Russell
Miller, Queens College, New York City
- Bill Mitchell,
University of Florida
- Antonio
Montalbán, University of Chicago
- Andrei Morozov,
Novosibirsk State University and Russian Academy of Sciences, Russia
- Carl
Mummert, University of Michigan
- Anil Nerode,
Cornell University
- Keng Meng
(Selwyn) Ng, University of Wisconsin-Madison
- André
Nies, University of Auckland, New Zealand
- Dag
Normann, University of Oslo, Norway
- Anand
Pillay, University of Leeds, England
- Andre Scedrov,
University of Pennsylvania
- Sasha
Shlapentokh, East Carolina University, Greenville, North Carolina
- Richard Shore,
Cornell University
- Steve Simpson,
Pennsylvania State University
- Ted Slaman,
University of California-Berkeley
- Bob Soare,
University of Chicago
- Reed Solomon,
University of Connecticut
- Andrea Sorbi, University of Siena, Italy
- Ivan
Soskov, Sofia University, Bulgaria
- Mariya
Soskova, Sofia University, Bulgaria
- Patrick
Speissegger, McMaster University, Hamilton, Ontario, Canada
- Frank Stephan, National University of Singapore
- Bas
Terwijn, University of Amsterdam, Netherlands
- Todor
Tsankov, University of Paris 6, France
- Lou
van den Dries, University of Illinois at Champaign-Urbana
- Rebecca
Weber, Dartmouth College
- Andreas
Weiermann, Ghent University, Belgium
- Guohua
Wu, Nanyang Technological University, Singapore
- Yue YANG,
National University of Singapore
- Mariko Yasugi, Kyoto Sangyo University, Japan
- Liang Yu,
Nanjing University, China
- Martin Ziegler, University of Freiburg, Germany
- Boris Zil'ber,
University of Oxford, England
Prepared by Steffen Lempp
(lempp@math.wisc.edu)