PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Satisfiability in a domain
Seminar:Logic Seminar
Speaker:Sankha Basu, Pennsylvania State University
Abstract:
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

Room Number:MB106
Date:09 / 16 / 2008
Time:02:30pm - 03:45pm