Está aqui

home / Lógica Matemática /
Voltar ao Topo

Lógica Matemática

Continuous model theory and Banach space geometry: an introduction (part 2)

Por Alexander Usvyatsov (Universidade de Lisboa, CMAF-CIO).

Abstract: These two talks are intended as a soft and not too technical introduction to model theory of metric structures, including a short history and motivating questions, with a particular emphasis on fundamentals of continuous first order logic. I will also mention a few successful applications to Banach space theory, as well as more recent promising directions. 

Continuous model theory and Banach space geometry: an introduction

Por Alexander Usvyatsov (Universidade de Lisboa, CMAF-CIO).

Abstract: These two talks are intended as a soft and not too technical introduction to model theory of metric structures, including a short history and motivating questions, with a particular emphasis on fundamentals of continuous first order logic. I will also mention a few successful applications to Banach space theory, as well as more recent promising directions. 

A quantitative analysis of a theorem by F.E.Browder guided by the bounded functional interpretation

Por Pedro Pinto (Universidade de Lisboa, CMAF-CIO).

Abstract: In [2], Kohlenbach did an analysis of the proof of Browder's theorem (in [1]) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation ([3], [4]). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.

Integration in non-archimedean real closed fields with archimedean value group (part 5)

Mário Edmundo
CMAF-CIO, Universidade de Lisboa

Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

Integration in non-archimedean real closed fields with archimedean value group (part 4)

Mário Edmundo
CMAF-CIO, Universidade de Lisboa

Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

Páginas