Sayantan Roy to speak on 'Abstract Model Structures and Compactness Theorems'

On November 19, 2025, Sayantan Roy, Research Fellow at the International Laboratory for Logic, Linguistics and Formal Philosophy, will deliver a report on 'Abstract Model Structures and Compactness Theorems'.

Abstract:

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this talk, using the notion of abstract model structures, we show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.

Start time: 18:10

Venue: 21/4 Staraya Basmannaya, Building 1

If you plan to attend the event, please, register here (in Russian).