AMS Sectional Meeting AMS Special Session

Current as of Saturday, May 4, 2013 00:21:20

---

Program  ·  Deadlines  ·  Registration/Housing/Etc.
Special Event or Lecture  ·  Inquiries: meet@ams.org

---

Spring Central Sectional Meeting
Iowa State University, Ames, IA
April 26-28, 2013 (Friday - Sunday)
Meeting #1090

Associate secretaries:

Georgia M. Benkart, AMS benkart@math.wisc.edu

---

Special Session on Logic and Algebraic Logic

• Saturday April 27, 2013, 8:00 a.m.-10:50 a.m.
  Special Session on Logic and Algebraic Logic, I
  Room 282, Carver
  Organizers:
  Jeremy Alm, Illinois College
  Andrew Ylvisaker, Iowa State University andrewy@iastate.edu
  

  • 8:00 a.m.
    The superfluity of equality.
    Andrew John Ylvisaker*, Iowa State University
    (1090-03-393)
  • 9:00 a.m.
    Degree Spectra of Theories.
    Uri Andrews, University of Wisconsin--Madison
    Mingzhong Cai, University of Wisconsin--Madison
    David Diamondstone*, University of Wisconsin--Madison
    Steffen Lempp, University of Wisconsin--Madison
    Joseph Miller, University of Wisconsin--Madison
    (1090-03-336)
  • 9:30 a.m.
    The Thin Set Theorem for Pairs implies DNR.
    Brian Rice*, University of Wisconsin - Madison
    (1090-03-300)
  • 10:00 a.m.
    Degrees of Provability.
    Uri Andrews, University of Wisconsin, Madison
    Mingzhong Cai*, University of Wisconsin, Madison
    David Diamondstone, University of Wisconsin, Madison
    Steffen Lempp, University of Wisconsin, Madison
    Joseph S. Miller, University of Wisconsin, Madison
    (1090-03-271)
  • 10:30 a.m.
    Some new weak representations of certain finite relation algebras.
    Richard L Kramer*, Iowa State University
    (1090-03-423)
• Saturday April 27, 2013, 2:45 p.m.-5:05 p.m.
  Special Session on Logic and Algebraic Logic, II
  Room 282, Carver
  Organizers:
  Jeremy Alm, Illinois College
  Andrew Ylvisaker, Iowa State University andrewy@iastate.edu
  

  • 2:45 p.m.
    Consistent theories with no finite models.
    Roger D Maddux*, Iowa State University
    (1090-03-132)
  • 3:15 p.m.
    Computability Theory and Learning Theory.
    Achilles Athanasios Beros*, University of Wisconsin -- Madison
    (1090-03-249)
  • 3:45 p.m.
    The $\Sigma_1^1$-completeness of the Decomposability of Torsion-Free Abelian Groups.
    Kyle Riggs*, Indiana University
    (1090-03-183)
  • 4:15 p.m.
    Recursively presenting models of Solovay theories.
    Uri Andrews*, University of Wisconsin--Madison
    Mingzhong Cai, University of Wisconsin--Madison
    David Diamondstone, University of Wisconsin--Madison
    Joseph S Miller, University of Wisconsin--Madison
    Steffen Lempp, University of Wisconsin--Madison
    (1090-03-173)
  • 4:45 p.m.
    Boolean Semilattices.
    Clifford Bergman*, Iowa State University
    (1090-06-46)

Inquiries: meet@ams.org

---