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 |