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

De Ordinaal-analyse van Determinisme-theorieën

Output en outcomes

Publicaties

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

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

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

Locally hyperarithmetical induction

A1 Artikel in een tijdschrift in BULLETIN OF THE LONDON MATHEMATICAL SOCIETY

The number of axioms

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

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

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Artikel in een tijdschrift in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

Fσ games and reflection in L(ℝ)

A1 Artikel in een tijdschrift in JOURNAL OF SYMBOLIC LOGIC