Date:
Wed, 14/06/202311:00-12:30
https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=c6116028-2343-4a91-ada7-affc00e61f26
Title: Local Positive Logic
Abstract: Joint work with Arturo Rodriguez Fanlo
While the compactness theorem is fundamental to much of mathematical logic, its full power can sometimes be a hinderance. For example, when trying to model metric spaces, compactness implies that some models may contain infinitesimally close or infinitely distant elements.
Various variations of standard first order logic have been developed to tackle these sort of problems, where a common theme is considering different classes of models than the usual elementary classes. Examples of such frameworks include continuous logic (bounded or unbounded), positive logic, and local logic.
We present a new framework, local positive logic, and discuss its somewhat unusual properties.
Title: Local Positive Logic
Abstract: Joint work with Arturo Rodriguez Fanlo
While the compactness theorem is fundamental to much of mathematical logic, its full power can sometimes be a hinderance. For example, when trying to model metric spaces, compactness implies that some models may contain infinitesimally close or infinitely distant elements.
Various variations of standard first order logic have been developed to tackle these sort of problems, where a common theme is considering different classes of models than the usual elementary classes. Examples of such frameworks include continuous logic (bounded or unbounded), positive logic, and local logic.
We present a new framework, local positive logic, and discuss its somewhat unusual properties.