Workshop on Universal Models
Amsterdam, 24 February 2011
Introduction
Programme
Location
Registration
Organization
Sponsors

Introduction

This workshop is an informal gathering of people that study universal models or use them in their research. There will be presentations both on finished studies and on work in progress. Universal models were originated by V. Shethman and V. Rybakov, anticipated by D. de Jongh's dissertation in 1968. In intuitionistic logic the subject reemerged in N. Bezhanishvili's dissertation in 2006. The logics involved today comprise intuitionistic propositional logic and modal logics. In intuitionistic logic one has finite universal models for some fragments missing some of the usual connectives, and the usual complicated infinite ones for the full logic. One of the modal logics that will be presented is GLP, an extension of Gödel-Löb's logics GL that has a different provability modality for each ordinal. Another modal logic that will be discussed is S4. At the workshop the subject will be approached from the algebraic/co-algebraic side as well.

Programme

TimeLecture & Discussion
10.00-10.50Dick de Jongh (ILLC)
Two theorems of Jankov in the setting of universal models
10.50-11.05Break
11.05-11.55Gerard Renardel de Lavalette (Groningen)
Exact and quasi-exact universal models for fragments of intuitionistic propositional logic
12.00-12.50Sam van Gool (Nijmegen)
Constructing the Lindenbaum algebra for a logic step-by-step using duality
12.50-14.15Break
14.15-15.05Joost Joosten (Barcelona)
Universal models for provability logics GLP_{\Lambda} with transfinitely many modalities
15.10-16.00David Fernández Duque (Sevilla)
Topological models of GLP
16.00-16.15Break
16.15-17.15Mai Gehrke (Nijmegen)
From the N universal model for intuitionistic logic to the Esakia space of the free Heyting algebra on N generators

Location

Room A4.10, Roetersstraat 15, 1018 WB Amsterdam.

Registration

The workshop has no registration fee but it is appreciated if attendance is confirmed by mail to one of the organizers.

Organization

The workshop is organized by:

  • Dick de Jongh (d.h.j.dejongh [at] uva.nl)
  • Joost Joosten (jjoosten [at] ub.edu)
  • Peter van Ormondt (P.vanOrmondt [at] uva.nl)

Sponsors

The workshop is sponsored by: