AMS Sectional Meeting Program by AMS Special Session

Current as of Sunday, November 8, 2009 00:36:25

Program | Deadlines | Registration/Housing/Etc. | Inquiries: meet@ams.org

Associate secretaries:
Matthew Miller, AMS miller@math.sc.edu

Friday October 30, 2009, 2:30 p.m.-5:20 p.m.
Special Session on Constructive Mathematics, I
Room 404, Fleming Hall
Organizers:
Robert Lubarsky, Florida Atlantic University Robert.Lubarsky@comcast.net
Fred Richman, Florida Atlantic University
Martin Solomon, Florida Atlantic University
- 2:30 p.m.
  Formalizing Brouwer-Heyting-Kolmogorov semantics.
  Sergei N. Artemov*, CUNY Graduate Center
  (1053-03-320)
- 3:00 p.m.
  Cut for Core Logic.
  Neil W Tennant*, Department of Philosophy, The Ohio State University
  (1053-03-60)
- 3:30 p.m.
  The Weak Fundamental Theorem of Algebra.
  Robert S. Lubarsky*, FAU
  Fred Richman, FAU
  (1053-03-76)
- 4:00 p.m.
  Real computability and roots of polynomials.
  Russell G. Miller*, Queens College & Graduate Center, CUNY
  (1053-03-121)
- 4:30 p.m.
  Homogeneous models, PA degrees, and Weak König's Lemma.
  Denis R. Hirschfeldt*, University of Chicago
  (1053-03-261)
- 5:00 p.m.
  Computing conformal maps onto circular domains.
  Valentin V Andreev, Lamar University
  Dale Daniel, Lamar University
  Timothy H McNicholl*, Lamar University
  (1053-03-37)

Saturday October 31, 2009, 8:00 a.m.-10:50 a.m.
Special Session on Constructive Mathematics, II
Room 118, General Classroom South
Organizers:
Robert Lubarsky, Florida Atlantic University Robert.Lubarsky@comcast.net
Fred Richman, Florida Atlantic University
Martin Solomon, Florida Atlantic University
- 8:00 a.m.
  Open for discussion and problem solving.

Saturday October 31, 2009, 2:30 p.m.-5:20 p.m.
Special Session on Constructive Mathematics, III
Room 118, General Classroom South
Organizers:
Robert Lubarsky, Florida Atlantic University Robert.Lubarsky@comcast.net
Fred Richman, Florida Atlantic University
Martin Solomon, Florida Atlantic University
- 3:30 p.m.
  Model theory for intuitionistic predicate calculus.
  Wim Ruitenburg*, Marquette University
  (1053-03-40)
- 4:00 p.m.
  Martin-Löf Complexes.
  Michael A. Warren*, University of Ottawa
  (1053-03-41)
- 4:30 p.m.
  Benefits of the two level minimalist foundation for constructive mathematics.
  Maria Emilia Maietti*, Universita` di Padova
  (1053-03-39)
- 5:00 p.m.
  A topos for algebraic quantum theory.
  Bas Spitters*, University of Nijmegen
  Chris Heunen, University of Nijmegen
  Nicolaas Landsman, University of Nijmegen
  (1053-03-337)
- 5:30 p.m.
  Many-valued structures for constructive topology.
  Paola Toto*, University of Salento, Lecce, Italy
  Maria Emilia Maietti, University of Padua, Italy
  Giovanni Sambin, University of Padua, Italy
  (1053-06-44)
- 6:00 p.m.
  Constructive aspects of maps between open sublocales.
  Erik Palmgren*, Uppsala University
  (1053-03-49)

Sunday November 1, 2009, 9:30 a.m.-11:50 a.m.
Special Session on Constructive Mathematics, IV
Room 118, General Classroom South
Organizers:
Robert Lubarsky, Florida Atlantic University Robert.Lubarsky@comcast.net
Fred Richman, Florida Atlantic University
Martin Solomon, Florida Atlantic University
- 9:30 a.m.
  Reverse mathematics and uniformity in proofs without excluded middle.
  Carl Mummert*, Marshall University
  Jeffry L. Hirst, Appalachian State University
  (1053-03-225)
- 10:00 a.m.
  Bridging the Gap Between Replacement and Collection by Inaccessible Sets.
  Wojciech Moczydlowski*, Google, New York
  (1053-03-291)
- 10:30 a.m.
  Operations and sets, constructively (Joint work with A. Cantini (Florence, Italy)).
  Laura Crosilla*, University of Leeds, Uk
  (1053-03-317)
- 11:00 a.m.
  Does the axiom of choice imply the law of excluded middle?
  Fred Richman*, Florida Atlantic University
  (1053-03-150)
- 11:30 a.m.
  Constructive Mathematics at New Mexico State University.
  Ray Mines*, New Mexico State University
  (1053-01-275)

Inquiries: meet@ams.org