Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Steklov Mathematical Institute Seminar
January 22, 2015 16:00, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)
 


Positive logic for reflection principles in arithmetic

L. D. Beklemishev
Video records:
Flash Video 519.4 Mb
Flash Video 3,112.0 Mb
MP4 1,972.9 Mb

Number of views:
This page:1013
Video files:393
Youtube:

L. D. Beklemishev
Photo Gallery



Abstract: Reflection principles in arithmetic are well-known generalizations of Gödel's sentence expressing the consistency of a given arithmetical theory. Similarly to Gödel's sentence, they yield stronger examples of independent arithmetical statements. From a more general point of view, these schemata can be considered as operations on arithmetical theories. The main result of this talk gives, in a sense, an exhaustive description of algebraic properties of these operations. Connections of these area with modal logic and Kripke models will be discussed.
See also
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024