Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
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
Informatie
Projectteam
Output en outcomes
Publicaties
The Pi ^1_2 consequences of a theory
J. P. Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The spectrum of Π¹₃-soundness
J. P. Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
The Löwenheim-Skolem theorem for Gödel logic
J. P. Aguilera
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2023
Locally hyperarithmetical induction
J. P. Aguilera
A1
Artikel in een tijdschrift
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
The number of axioms
J. P. Aguilera
M. Baaz
J. Bydžovský
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2022
Boundedness theorems for flowers and sharps
J. P. Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2022