STEFFEN LEMPP

Address

Phone/Fax/Email

Office and office hours during semester

Course taught in spring 2013

• Math 431: Introduction to the Theory of Probability: Course information

Information for UW graduate students in math or with math minor

• UW math department information on graduate study
• UW math department qualifying exams
• UW Graduate School Catalog information on graduate study (see also Graduate School policies)
• Requirements for a math minor (both for math graduate students and for graduate students in other departments)
• Special Committee Degree information (for "build-your-own-PhD program" information, e.g., in "logic")
• Requirements for a CS minor, or for a math Ph.D. student to get a master's degree in computer science
• Requirements for a philosophy minor
• Requirements for an education minor
• Requirements for a linguistics minor
• Requirements for a statistics minor
• Requirements for a finance minor

Associate Chair Business

If you have such a concern or complaint, please contact me by email (usually best) or office phone or in person (preferably during my office hours). I will then look into the facts of the concern or complaint and try to work out a solution agreeable to all.

Some useful links related to my job as Associate Chair:

• "Administrivia" (information on teaching assignments, enrollment trends, grade distribution, absence form, academic misconduct, etc.; parts require login)
• Summer Course Equivalency Service (SCES)
• Teaching Staff Job Listings (for summer 2013 positions, please email our summer chair Jean-Luc Thiffault (@math.wisc.edu">jeanlucmath.wisc.edu)):
  • WisCEL Mathematics Director
• ISIS (requires administrative login)
• InfoAccess (requires administrative login)

Logic seminars around the Midwest

• Southern Wisconsin Logic Colloquium (a joint seminar of the University of Wisconsin-Madison and Marquette University)
• UW CS Theory Seminar
• Midwest Computability Seminar (a joint seminar of the University of Wisconsin-Madison, the University of Chicago and the University of Notre Dame, held once or twice a semester on the University of Chicago campus)
• Midwest Model Theory Day (a joint seminar of the University of Wisconsin-Madison, the two campuses of the University of Illinois and the University of Notre Dame, held once a semester on the University of Illinois at Chicago campus)
• University of Chicago Logic Seminar
• Louise Hay Logic Seminar, University of Illinois-Chicago
• University of Illinois-Chicago Logic Seminar
• University of Illinois-Urbana Logic Seminar
• Notre Dame Logic Seminar
• Indiana University Logic Seminar

Conferences I plan to attend (and other times I will be out of town)

• July 22-27, 2013: Logic Colloquium 2013, Évora, Portugal
• August 12-16, 2013: AIM Workshop on Computable Stability theory, American Institute of Mathematics, Palo Alto, California
• September 16-20, 2013: 13th Asian Logic Conference, Sun Yat-sen University, Guangzhou, China
• November 3-8, 2013: Workshop on Computable Model Theory, Banff International Research Station, Alberta, Canada
• July 9-24, 2014: Vienna Summer of Logic, Vienna, Austria

Other conferences of interest to logicians

• January-June, 2013: Buenos Aires Semester in Computability, Complexity, and Randomness, University of Buenos Aires, Argentina
• May 31-June 1, 2013: Conference on Model-Theoretic Algebra (in honor of Carol Wood), Wesleyan University, Middletown, Connecticut
• June 10-15, 2013: Model Theory 2013, Ravello, Italy
• June 16-19, 2013: Boise Extravaganza in Set Theory (BEST), University of Nevada-Las Vegas
• July 1-5, 2013: CiE 2013 (Computability in Europe 2013), Milan, Italy
• July 8-10, 2013: Tenth International Conference on Computability and Complexity in Analysis (CCA 2013), Nancy, France
• July 15-18, 2013: 4th European Set Theory Conference, Barcelona, Spain
• July 21-27, 2013: "Algebra and Logic, Theory and Applications", Krasnoyarsk, Russia
• August 5-9, 2013: BLAST 2013 (Boolean algebras, Lattice theory, Algebraic and quantum logic, Universal algebra, Set theory and Topology, Chapman University, Orange, California
• September 23-27, 2013: Eighth International Conference on Computability, Complexity and Randomness (CCR 2013), Independent University of Moscow, Russia
• October 18-20, 2013: AMS Sectional Meeting, Washington University, St. Louis, Missouri (with a special session on computability across mathematics)

Web pages from past conferences I have co-organized

• Oberwolfach 2012 Workshop in Computability Theory: program and slides
• ASL 2012 North American Annual Meeting, University of Wisconsin, Madison

Travel Information on Madison and the University of Wisconsin

• Reaching Madison by air or airport limousine
• Reaching Madison by bus
• Reaching the UW campus by car
• Reaching UW campus area hotels by car
• UW campus maps
• My favorite restaurants near the UW campus
• Greater Madison Convention and Visitors Bureau
• Madison area traffic cameras (provided by the Wisconsin Department of Transportation)
• Wisconsin Tourism Information
• Wisconsin Attractions (by Wisconline)
• Wisconsin Weather Radar

Travel information for foreign visitors to the UW math department

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.

Also note that if your travel to and from the U.S. is supported by a federal grant (such as an NSF grant), then you need to abide by the Fly America Act (see Article 14c+d in this document), which generally requires the use of U.S. carriers to the closest foreign airport served by a U.S.\ airline. However, several Open Skies Agreements have recently been signed (currently with the European Union, Switzerland, Australia and Japan), which allow use of these countries' airlines as well. Note, however, that what matters for the Fly America Act is the airline listed on your ticket and not the airline actually flying the plane, which can become tricky with all the code sharing! Here are some useful links:

State Department web sites on U.S. visas

• UW page on requirements for payments to foreign nationals
• U.S. visa home page
• Visa Waiver Program (for citizens of many Western European and other industrialized countries, requires machine-readable passports)
• Visa information for citizens of Canada, Mexico and Bermuda
• J visa information for longer-term exchange visitors (J1 for visitors, J2 for dependents)
• List of U.S. Consulates worldwide

Related information for visitors

• Internal Revenue Service: U.S. federal taxes for foreigners
• SHIP Insurance: health insurance for international scholars at UW-Madison (including the Waiver Application Form)
• Social Security Administration: Individual Taxpayer Identification Number (ITIN) application
  
• UW information on immigration and tax restrictions
  
• UW International Faculty and Staff Services
• UW Math Department travel and visitor information
• UW tax information
• UW tax information for J-1 scholars
• Wisconsin Department of Revenue: Wisconsin state taxes (tax information brochure for non-residents)

My research interests

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 Σ⁰₂-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 א₁-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, bibliography, and mathematical genealogy

• My CV in pdf format
• My math genealogy (collated by my former student Chris Alfeld)

My publications on line

• Titles, abstracts, and postscript/pdf files

Bulletin of Symbolic Logic

If you have suggestions for reviews or would like to submit a review, please contact me by email at @math.wisc.edu">lemppmath.wisc.edu. Suggestions for reviewers can be found here. Reviewers are asked (but not required) to use latex with the ASL review style file (with instructions).

Professional Organizations

• Association for Symbolic Logic (ASL)
• American Mathematical Society (AMS)
• Deutsche Mathematiker-Vereinigung (DMV)
• Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)
• Computability in Europe (CiE)
• Association for Women in Mathematics (AWM)
• European Mathematical Society (EMS)
• American Philosophical Association (APA)
• Association for Computing Machinery (ACM)

Research databases of interest to logicians

• AMS 2010 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 of Logic (maintained by the Documentation Center for Mathematical Logic of the University of Kaiserslautern, includes many bibliographical entries of papers from the former Soviet Union not found in MathSciNet, search is case sensitive!)
• Bibliography on Boolean algebras (maintained by Don Monk, University of Colorado)
• Computability in Europe (CiE) (maintained by Barry Cooper, Leeds, England)
• The Computability Menagerie (a diagram of known implications and non-implications about degree classes, maintained by Joe Miller)
• Computability theory (maintained by Peter Cholak, Notre Dame)
• Computer Science Bibliography (maintained by the University of Trier, Germany)
• DigiZeitschriften (an open-access database of several free math journals from German-speaking countries, maintained by the University of Göttingen)
• 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-Mānoa)
• Logic Mailing List (maintained by the Bonn Mathematical Logic Group)
• 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)
• Mathoverflow in logic (a place for mathematicians to ask and answer questions)
• 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)
• The Reverse Mathematics Zoo (a diagram of known implications and non-implications, maintained by Damir Dzhafarov)
• Shelah Archive (maintained by Technical University of Vienna, Austria)

Job openings I happen to hear of

• Epic Systems Corp., Verona, Wisconsin
• Marie Curie Inernational incoming Fellowships (funded by the European Union)
• Marie Curie Career Integration Grants (funded by the European Union)
• National Security Agency
• Simon Fellowships, University of California-Berkeley
• University of Leeds, England
• University of Wisconsin-Madison

Information on special Ph. D. and Master's Programs in Logic

• Charles University, Prague, Czech Republic
• Master's in Logic and Theory of Science, Eötvös University, Budapest, Hungary
• Indiana University, Bloomington
• University of Amsterdam, Netherlands
• University of California-Berkeley
• University of Notre Dame
• Master LoPhisc in Logic, Philosophy of Science & Epistemology, University of Paris-1 and Paris-4, France
• University of Wisconsin-Madison ("special committee degree" information for "build-your-own-PhD program" information, e.g., in "logic")

Summer Schools in Logic for Undergraduate and Graduate Students

• Motivic Invariants and Singularities Thematic Graduate Summer School, University of Notre Dame, Indiana
• Undergraduate summer school in mathematical logic, UCLA
• Asian Initiative for Infinity (AII) Graduate Summer School, National University of Singapore (July 15-26, 2013)

Information for Russian-speaking Logicians

I also administer the program of the Association for Symbolic Logic (ASL) offering

For more information about this program, click here for information in English or in Russian (KOI-8 encoding or Windows-1251 encoding).

Home pages of some other logicians

• Klaus Ambos-Spies, University of Heidelberg, Germany
• Uri Andrews, University of Wisconsin-Madison
• Andy Arana, University of Illinois at Urbana-Champaign
• Marat Arslanov (in Russian), Kazan Federal University, Russia
• Matthias Aschenbrenner, UCLA
• Jeremy Avigad, Carnegie Mellon University
• John Baldwin, University of Illinois-Chicago
• George Barmpalias, Chinese Academy of Sciences, Beijing, China
• Verónica Becher, University of Buenos Aires, Argentina
• Itaï Ben Yaacov, University of Lyon, France
• Michael Benedikt, Oxford University, England
• Laurent Bienvenu, University of Paris-7, France
• Steve Binns, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
• Vasco Brattka, University of the Army, Munich, Germany
• P.K. Brodhead, Indian River State College, Fort Pierce, Florida
• Jin-Yi Cai, University of Wisconsin-Madison
• Mingzhong Cai, University of Wisconsin-Madison
• Wesley Calvert, Southern Illinois University, Carbondale
• Doug Cenzer, University of Florida, Gainesville
• Peter Cholak, University of Notre Dame
• Chi Tat Chong, National University of Singapore
• Chris Conidis, Vanderbilt University, Nashville, Tennessee
• Barry Cooper, University of Leeds, England
• Barbara Csima, University of Waterloo, Ontario, Canada
• Adam Day, University of California-Berkeley
• David Diamondstone, University of Wisconsin-Madison
• Alf Dolich, Kingsborough Community College, New York City
• Rod Downey, Victoria University of Wellington, New Zealand
• Mirna Džamonja, University of East Anglia, Norwich, England
• Damir Dzhafarov, University of California-Berkeley
• Peter Fejer, University of Massachusetts at Boston
• Harvey Friedman, Ohio State University, Columbus
• Sy David Friedman, University of Vienna, Austria
• Su Gao, University of North Texas, Denton
• Sasha Gavryushkin, University of Auckland, New Zealand
• Sergey Goncharov, Novosibirsk State University and Russian Academy of Sciences, Russia
• Noam Greenberg, Victoria University of Wellington, New Zealand
• Valentina Harizanov, George Washington University, Washington, D.C.
• Ward Henson, University of Illinois at Champaign-Urbana
• Denis Hirschfeldt, University of Chicago, Illinois
• Jeff Hirst, Appalachian State University, Boone, North Carolina
• Steve Jackson, University of North Texas, Denton
• Carl Jockusch, University of Illinois at Urbana-Champaign
• Asher Kach, Google, Chicago, Illinois
• Iskander Kalimullin, Kazan Federal University, Russia
• 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-Mānoa
• Peter Koepke, University of Bonn, Germany
• Ulrich Kohlenbach, University of Darmstadt, Germany
• Ken Kunen, University of Wisconsin-Madison
• Jean Larson, University of Florida, Gainesville
• Chris Laskowski, University of Maryland-College Park
• Andy Lewis, University of Leeds, England
• Wei LI, National University of Singapore
• Jack Lutz, Iowa State University, Ames
• Maryanthe Malliaris, University of Chicago, Illinois
• Dave Marker, University of Illinois-Chicago
• Sasha Mel'nikov, Victoria University of Wellington, New Zealand
• Wolfgang Merkle, University of Heidelberg, Germany
• Joe Mileti, Grinnell College, Grinnell, Iowa
• Arnie Miller, University of Wisconsin-Madison
• Ben Miller, University of Münster, Germany
• Joe Miller, University of Wisconsin-Madison
• Russell Miller, Queens College, New York City
• Bill Mitchell, University of Florida, Gainesville
• Antonio Montalbán, University of California-Berkeley
• Andrei Morozov, Novosibirsk State University and Russian Academy of Sciences, Russia
• Carl Mummert, Marshall University, Huntington, West Virginia
• Anil Nerode, Cornell University, Ithaca New York
• Keng Meng (Selwyn) NG, Nanyang Technological University, Singapore
• André Nies, University of Auckland, New Zealand
• Dag Normann, University of Oslo, Norway
• Misha Peretyat'kin, Institute of Mathematics, Almaty, Kazakhstan
• Anand Pillay, University of Leeds, England
• Christian Rosendal, University of Illinois at Chicago
• Wim Ruitenburg, Marquette University, Milwaukee, Wisconsin
• Andre Scedrov, University of Pennsylvania, Philadephia
• Sasha Shlapentokh, East Carolina University, Greenville, North Carolina
• Richard Shore, Cornell University, Ithaca, New York
• Steve Simpson, Pennsylvania State University, State College
• Ted Slaman, University of California-Berkeley
• Bob Soare, University of Chicago, Illinois
• Reed Solomon, University of Connecticut-Storrs
• Andrea Sorbi, University of Siena, Italy
• Mariya Soskova, Sofia University, Bulgaria
• Patrick Speissegger, McMaster University, Hamilton, Ontario, Canada
• Frank Stephan, National University of Singapore
• Bas Terwijn, Radboud University Nijmegen, Netherlands
• Henry Towsner, University of Connecticut-Storrs
• Todor Tsankov, University of Paris 7, France
• Dan Turetsky, University of Vienna, Austria
• Lou van den Dries, University of Illinois at Champaign-Urbana
• Dieter van Melkebeek, University of Wisconsin-Madison
• Peter Vranas, University of Wisconsin-Madison
• Wei WANG, Sun Yat-sen University, Guangzhou, China
• Andreas Weiermann, Ghent University, Belgium
• Alex Wilkie, University of Manchester, England
• Guohua Wu, Nanyang Technological University, Singapore
• Yue YANG, National University of Singapore
• Liang YU, Nanjing University, China
• Martin Ziegler, University of Freiburg, Germany
• Boris Zil'ber, University of Oxford, England