RUS  ENG
Full version
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


https://youtu.be/KampOe0j82Y

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.

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).


© Steklov Math. Inst. of RAS, 2024