Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Recursion, reflection, and second-order arithmetic

Outputs and Outcomes

Publications

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Journal Article in FORUM OF MATHEMATICS SIGMA

There are no minimal essentially undecidable theories

Juvenal MurwanashyakaFedor PakhomovAlbert Visser

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Fedor PakhomovJames Walsh

The Pi ^1_2 consequences of a theory

J. P. AguileraFedor Pakhomov

A1 Journal Article in JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES

The spectrum of Π¹₃-soundness

J. P. AguileraFedor Pakhomov

A1 Journal Article in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES