Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Recursie, reflectie, en tweede orde rekenkunde

Output en outcomes

Publicaties

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

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