Seminários de Lógica Matemática

20 de Novembro 2008, 18h00

Ths structure of majorizable functionals
Complexo Interdisciplinar, Sala B3-01

FERNANDO FERREIRA (Universidade de Lisboa)

Abstract:

We describe Marc Bezem structure of the (strong) majorizable functionals. We show that in this structure bar recursion is always defined.

| back