Skip to main content

COLLOQUIUM: The Legacy of Claude Shannon

13 December, 16:00, at Instituto Superior Técnico, Universidade de Lisboa


An introduction to impredicative ordinal notation systems

a minicourse by David Fernández-Duque, Université Paul Sabatier, Toulouse, France

First session: November 2 (Wednesday), 6pm - 7:30pm, room 6.2.33

Second session: November 3 (Thursday), 3:30pm - 5pm, room 6.2.33

In this course we will give an introduction to ordinal notation systems based on collapsing cardinals in the style of Buchholz. Although familiarity with proof-theoretic ordinals is assumed, the course will work gradually, beginning with a quick review of predicative notation systems and introducing some intermediate systems along the way. The course will be divided in two sessions. Session 1: We introduce a general notion of ordinal notation system and show how the usual presentations for $\varepsilon_0$ and $\Gamma_0$ fall into this framework. We discuss the behavior of an uncountable ordinal within a notation system and introduce collapsing functions, culminating in a notation system for the Bachmann-Howard ordinal $\psi(\varepsilon_{\Omega+1})$. Session 2: We establish some important properties of $\psi(\varepsilon_{\Omega+1})$, including its computability. We motivate the role of multiple cardinals by considering collapsing functions with two uncountable cardinals. We then show how these techniques are extended to collapsing infinitely many cardinals. Time permitting, we discuss how larger sets (e.g., an inaccessible) can be used to construct even larger proof-theoretic ordinals.


E=MC3 2016, a Spring-to-Summer event: three mini courses on Dynamics and Differential Equations

29 - 30 March by Alessandra Celletti,

11 - 15 July by Fabio Zanolin

5 - 9 September by Mark Levi


FASPDE16 – Lisbon

31 August -2 September, Faculty of Sciences, University of Lisbon, Portugal


7th International Conference on Computational Logistics (ICCL’16)

“Road to logistics excellence”

7 - 9 September, Lisbon, Portugal


Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)

6 - 7 June, Faculty of Sciences, University of Lisbon, Portugal


H-measures and variants

18, 21 and 22 April, 15:00-17:00

A short course by Nenad Antonic,


Introduction to the algebraic theory of linear systems of differential equations

17 and 22 March, 5 and 7 April 2016

A short course on D-Modules, Luca Prelli (CMAFCIO)


7th Workshop Dynamical Systems Applied to Biology and Natural Sciences DSABNS 

2 - 5 February, Universidade de Évora, Portugal


5th Winter School on Network Optimization

11 - 15 January, Estoril, Portugal