Trends in Proof Theory 2023
Ghent University
Location: Krijgslaan 281. Building S8, top floor. Room: Vgz 3.2.
Partially supported by FWO grant G0F8421N.
January 16th
J. P. Aguilera
The Pi12 Soundness Ordinal.
F. Pakhomov
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Pi11CA0.
Lunch
A. Freund
From three to infinity: the strength of better quasi orders.
Break
D. Manca
Hereditarily countable sets with urelements in a quasi-order.
Coffee Break
K. Papafilippou
An expressively complete tangle operator for the topological μ-calculus.
Discussion
January 17th
A. Weiermann
New results regarding Friedman's Bolzano Weierstrass Principle.
M. Mojtahedi
Kripke semantics augmented with provability, a hybrid semantic for intuitionistic modal logics.
Lunch
P. Uftring
On Inverse Goodstein Sequences.
P. Provenzano
The reverse mathematical strength of hyperations.
Coffee Break
G. Soldà
On the reverse mathematics of some results of bqo theory.
A. D. Chopra
Maximal order types of leaf-labelled finite trees.
Discussion
Organizers
- Juan Aguilera
- Anton Freund
- Fedor Pakhomov
- Andreas Weiermann
Participants
- Juan Aguilera
- Bruno Bauwens
- Alakh Dhruv Chopra
- Anton Freund
- Oriola Gjetaj
- Davide Manca
- Brett McLean
- Mojtaba Mojtahedi
- Fedor Pakhomov
- Konstantinos Papafilippou
- Philipp Provenzano
- Giovanni Solda
- Patrick Uftring
- Andreas Weiermann
To participate, contact the organizers.
© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.
Cookie Policy
This website uses cookies. By continuing to use this site, you accept our use of cookies.