For more information about this meeting, contact Stephen Simpson, Jan Reimann.

Title: | Lindstr"om's characterization of first-order logic |

Seminar: | Logic Seminar |

Speaker: | Kostas Hatzikiriakou, University of Thessaloniki, Greece |

Abstract: |

In 1969 Per Lindstr"om characterized first-order logic as the strongest (most expressive) logical system for which (a) both the Compactness theorem and the L"owenheim-Skolem theorem hold (First Theorem), and (b) the L"owenheim-Skolem theorem holds and its set of valid sentences is recursively enumerable (Second Theorem). We will go through the proof of the First Lindstr"om's Theorem. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 11 / 19 / 2013 |

Time: | 02:30pm - 03:45pm |