Loading [MathJax]/jax/output/SVG/config.js
Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
April 14, 2025 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + online
 


Fragments of arithmetic and cyclic proofs

L. D. Beklemishev
Video records:
MP4 1,591.2 Mb
MP4 3,906.8 Mb

Number of views:
This page:48
Video files:9



Abstract: (jww with Daniyar Shamkanov and Ivan Smirnov)
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we show how various traditional subsystems of Peano arithmetic defined by restricted forms of induction can be represented as fragments of the proposed system.
 
  Contact us:
math-net2025_05@mi-ras.ru
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025