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 2628, 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
(109003393)

9:00 a.m.
Degree Spectra of Theories.
Uri Andrews, University of WisconsinMadison
Mingzhong Cai, University of WisconsinMadison
David Diamondstone*, University of WisconsinMadison
Steffen Lempp, University of WisconsinMadison
Joseph Miller, University of WisconsinMadison
(109003336)

9:30 a.m.
The Thin Set Theorem for Pairs implies DNR.
Brian Rice*, University of Wisconsin  Madison
(109003300)

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
(109003271)

10:30 a.m.
Some new weak representations of certain finite relation algebras.
Richard L Kramer*, Iowa State University
(109003423)

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
Inquiries: meet@ams.org