Video library: A. Visser, The second incompleteness theorem revisited

Videolibrary

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Video Library
	Archive
	Most viewed videos

	Search
	RSS
	New in collection

Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 12:15–12:50, Moscow, Steklov Mathematical Institute

The second incompleteness theorem revisited

A. Visser

*Video records:*
	MP4	1,182.1 Mb
	MP4	324.0 Mb

Number of views:
This page:	202
Video files:	34

Abstract: We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a $\Sigma_1^0$-axiomatization of Elementary Arithmetic for which the Löb Conditions fail.

Language: English

Registration to the website

Logotypes