zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
  - 1999
  - 1998
  - 1997
  - 1996
  - 1995
  - 1994
 
 
zpravodaj ČSKI - únor 2019
[ zaslat oznámení o přednášce ]
únor|březen|duben|květen|červen|říjen|listopad|prosinec


datum: 20.2.2019 v 16:00
název: Uniform interpolation for IPC via an open mapping theorem for Esakia spaces
přednášející: Luca Reggio (UI)
místo konání: UI, 2.patro, místnost č.318

souhrn: The uniform interpolation property of the intuitionistic propositional calculus (IPC) was first proved by Pitts in 1992 by means of proof-theoretic methods. We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. In turn, this yields a short, self-contained semantic proof of Pitts result. Our proof is based on the methods of Ghilardi & Zawadowski. However, it does not require sheaves nor games, only basic duality theory for Heyting algebras. This is joint work with Sam van Gool.