Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 16:15, Moscow, Steklov Mathematical Institute
 


Epsilon theorems and non-classical logics

Matthias Baaz

Vienna University of Technology
Video records:
Flash Video 1,406.3 Mb
Flash Video 231.1 Mb
MP4 880.5 Mb

Number of views:
This page:436
Video files:171

Matthias Baaz
Photo Gallery



Abstract: We show, that the presence of critical formulas allows for the derivation of arbitrary quantifier shifts in almost all nonclassical logics. This result is used to derive that the only superintuitionistic logics admitting the first epsilon theorem are the finitely-valued Gdel logics. They also admit the second epsilon theorem.
(Joint work with Richard Zach.)

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024