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

Ordinal Analysis of Systems of Determinacy

Outputs and Outcomes

Publications

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

The Löwenheim-Skolem theorem for Gödel logic

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Locally hyperarithmetical induction

A1 Journal Article in BULLETIN OF THE LONDON MATHEMATICAL SOCIETY

The number of axioms

J. P. AguileraM. BaazJ. Bydžovský

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Journal Article in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY