Arithmetic complexity of the predicate logics of complete arithmetic theoriesдоклад на конференции