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

Recursie, reflectie, en tweede orde rekenkunde

Outputs & Impact

Publications & research data ( 6 )

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Artikel in een tijdschrift in FORUM OF MATHEMATICS SIGMA

There are no minimal essentially undecidable theories

Juvenal MurwanashyakaFedor PakhomovAlbert Visser

A1 Artikel in een tijdschrift in JOURNAL OF LOGIC AND COMPUTATION

Algebraic properties of the first-order part of a problem

Giovanni SoldaManlio Valenti

A1 Artikel in een tijdschrift in ANNALS OF PURE AND APPLIED LOGIC

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 Artikel in een tijdschrift in JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES

The spectrum of Π¹₃-soundness

J. P. AguileraFedor Pakhomov

A1 Artikel in een tijdschrift in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

Activities ( 0 )

Results

Impact narratives ( 0 )

Patents ( 0 )