Seminário de Lógica Matemática (SLM)

Shoenfield interpretation, majorizability and WKL

Patrícia Engrácia

FCUL, Sala 6.2.42


We describe the Shoenfield interpretation of finite-order arithmetic. We also introduce and discuss the Howard/Bezem notion of (strong) majorizability. This notion is instrumental in describing the monotone functional interpretation of Ulrich Kohlenbach. As an application, we show the conservativity of weak König’s lemma. If time permits, we also discuss the method of elimination of extensionality.


Phylogeography is one of the recent scientific areas emergent from the dissemination of highthrouput technologies of sequencing starting in the 90’s of the XXth century, with the consequent development of intra-specific genetic variance analysis and its geographic distribution.

This is a mostly practical course offering an overview on different community ecology and macroecological methods and software.