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"
October 4, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Primitive Recursive Ordered Fields and Some Applications

V. L. Selivanovab

a A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Video records:
MP4 720.8 Mb
Supplementary materials:
Adobe PDF 222.0 Kb

Number of views:
This page:187
Video files:51
Materials:24
Youtube:



Abstract: We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals and apply them to several problems of algebra and analysis. In particular, we find a primitive recursive analogue of Ershov-Madison's theorem about the computable real closure, relate primitive recursive fields of reals to the field of primitive recursive reals, give sufficient conditions for primitive recursive root-finding and for computing spectral decompositions of matrices, which applies to computing solution operators of symmetric hyperbolic systems of partial differential equations.

Supplementary materials: steklovka.pdf (222.0 Kb)

Language: English

* This talk is supported by the Simons Foundation and the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024