Speaker
Pavel Alaev
(Sobolev Institute RAS)
Description
We consider some questions related to the problem of searching a structure A computable in polynomial time (in short, P-computable), which is isomorphic to a given abstract structure B. In particular, a general criterion for the existence of such a P-computable structure B is formulated. As an application, we discuss some questions about the existence of P-computable presentations for a series of classical objects, including fields and Abelian groups.
