[Proof Complexity] Prague seminar today - Emil Jerabek

thapen thapen at math.cas.cz
Mon Oct 24 09:11:17 CEST 2022

Emil Jerabek will give the second part of his talk this afternoon, at 
16:00 Prague time - see the announcement below.

It will be broadcast on zoom. To join use the link
Passcode: 017107 (if required)

Speaker:Emil Jerabek, IM CAS
Title: Elementary analytic functions in VTC^0, Part 2


It is known that rational approximations of elementary analytic 
functions (exp, log, trigonometric and hyperbolic functions, and their 
inverse functions) are computable in the complexity class TC^0. In this 
talk, we will show how to formalize their construction and basic 
properties in the corresponding arithmetical theory VTC^0, working with 
completions of fraction fields of models of VTC^0. As a consequence, we 
will show that every countable model of VTC^0 is an exponential integer 
part of a real-closed exponential field, using a recursive saturation 

For more information see the seminar web page at
https://calendar.math.cas.cz/logic-seminar-actual .
Proof-Complexity mailing list
Proof-Complexity at math.cas.cz

More information about the Proof-Complexity mailing list