|
Abstract model theory below first-order logic| old_uid | 6976 |
|---|
| title | Abstract model theory below first-order logic |
|---|
| start_date | 2009/05/18 |
|---|
| schedule | 14h-16h |
|---|
| online | no |
|---|
| summary | Abstract model theory (AMT) is all about characterizing logical languages in terms of their model theoretic properties. A well known example is Lindstrom's theorem, which states (in one of its version) that first-order logic is maximal for Compactness and the
Lowenheim-Skolem theorem: every proper extension loses one of these properties. Lindstrom's theorem has been considered as a justification for the central role that first-order logic plays in many areas of logic. Traditionally, AMT has mostly focused on extensions of first-order logic. I will discuss some resuls in AMT that apply to
languages weaker than, or incomparable to, first-order logic (e.g., modal logic). |
|---|
| responsibles | Bonnay, Sandu |
|---|
| |
|