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
Reflectiespectra: predicaat wiskunde en verder
Informatie
Projectteam
Output en outcomes
Publicaties
Functorial fast-growing hierarchies
Juan P. Aguilera
Fedor Pakhomov
Andreas Weiermann
A1
Artikel in een tijdschrift
in
FORUM OF MATHEMATICS SIGMA
2024
Some independence results related to finite trees
Harvey Martin Friedman
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
Arithmetical and hyperarithmetical worm battles
David Fernández-Duque
Joost J Joosten
Fedor Pakhomov
Konstantinos Papafilippou
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Minimal bad sequences are necessary for a uniform Kruskal theorem
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ADVANCES IN MATHEMATICS
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
Hyperarithmetical worm battles
David Fernández-Duque
Konstantinos Papafilippou
Joost J. Joosten
C1
Conferentie
2021