RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 17:30, г. Москва, МИАН
 


Types and truth in weak applicative theories

Thomas Strahm

University of Bern

Количество просмотров:
Эта страница:287
Видеофайлы:101

Thomas Strahm
Фотогалерея



Аннотация: In this talk we survey recent developments in the study of prooftheoretically weak systems of Feferman's explicit mathematics and theories of truth. We start off from pure first-order applicative theories based on a version of untyped combinatory logic and augment them by the typing and naming discipline of explicit mathematics or, alternatively, by a truth predicate in the sense of Frege structures. We discuss the proof-theoretic strength of the so-obtained formalisms and the general relationship between weak truth theories and explicit mathematics. In particular, we consider two truth theories TPR and TPT of primitive recursive and feasible strength. The latter theory is a novel abstract truth-theoretic setting which is able to interpret expressive feasible subsystems of explicit mathematics, bounded arithmetical systems, and unfoldings of feasible arithmetic.
(Joint work with Sebastian Eberhard.)

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017