For more information about this meeting, contact Stephen Simpson.
|Title:||Satisfiability in a domain|
|Speaker:||Sankha Basu, Pennsylvania State University|
|Given a sentence S in the predicate calculus, what are the possible cardinalities of the universe of a structure satisfying S? We shall present some elementary results for the case of pure predicate calculus (without identity).|
Room Reservation Information
|Date:||09 / 16 / 2008|
|Time:||02:30pm - 03:45pm|