Seminário de Lógica Matemática

Commentaries on the application of the bounded functional interpretation

Sala 6.2.33, FCUL, Lisboa

By Pedro Pinto (Technische Universitat Darmstadt).

Abstract: The classical bounded functional interpretation [1] was recently shown to be a valid technique to employ in the proof mining practice [2][3]. In this talk, I will discuss some subtle features of recent "minings" guided by this functional interpretation. I will talk about the quantitative version of the metric projection argument. Next, we will look at the quantitative treatment of a nontrivial discussion by cases and how it guided the recent analysis in [4]. We finish with some brief considerations about metastability results.

[1] F. Ferreira, Injecting uniformities into Peano Arithmetic, Annals of Pure and Applied Logic, 157 (2009), pp. 122–129.
[2] F. Ferreira, L. Leustean, and P. Pinto, On the removal of weak compactness arguments in proof mining, Advances in Mathematics, 354 (2019).
[3] P. Pinto, Proof mining with the bounded functional interpretation, PhD thesis, Universidade de Lisboa, 2019.
[4] B. Dinis and P. Pinto, Quantitative results on the multi-parameters proximal point algorithm, arXiv preprint 1912.10175, (2019).

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título, data, orador e localização do evento

RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).

Seminário de Pós-graduação (Doutoramento em Biologia), por Liliana Andreia dos Santos Ferreira.

Solid Earth Seminar, por Débora Duarte (Royal Holloway - University of London, UK).

Fotografia de cigarra e informações relacionadas com o concurso

Onde vivem as 13 espécies de cigarras conhecidas em Portugal? É este o desafio lançado pelo projeto Cigarras de Portugal, do cE3c.

Título do evento, acompanhado dos logótipos do Tec Labs e de Ciências ULisboa

Applications until 12 August 2021.

The International Doctorate Network in Particle Physics, Astrophysics and Cosmology (IDPASC) is an interdisciplinary network whose aim is to train a new generation of high-level experts in the fields of Particle Physics, Astrophysics and Cosmology.

Logótipo da Unite!

Summer School no âmbito da Rede UNITE! (University Network for Innovation, Technology and Engineering), de que faz parte a ULisboa.

O curso visa apresentar uma série de perspetivas sobre o desenvolvimento conceitual da estatística e sobre o uso de inferências e modelos estatísticos nas ciências empíricas.

Imagem ilustrativa do curso, acompanhada de várias informações úteis

Um curso dirigido ao público em geral e a estudantes de arte ou ciência (a partir dos 16 anos), com interesse em desenho de observação, ilustração e biologia, com ou sem experiência em desenho.

The objective of this course is to introduce participants to the details of communication and writing scientific publications.

The objective of this course is to introduce participants to the details of communicating science to non-specialized audiences, including, but not exclusive to, public and private stakeholders, students and teachers, and media professionals.

This course aims to evidence the importance of natural history collections for the study of biodiversity, to show new tools and approaches to extract and disseminate biodiversity data from natural history collections and to increase awareness of young researchers for the scientific and cultural value of Natural History Museums.

The course aims at providing an introduction to stable isotopes ratios as tools to understand global, ecosystem and community level bio/geo cycles; light isotopes: H, N, C, O and S isotopes, geo cycles and ecological significance; sampling and analytical methodologies in stable isotope analysis.

EvoS aims at turning evolutionary theory into a common language to areas that pertain to the natural world, including human affairs.

The course SoilEco aims at introducing attendants to an updated state of the art of diversity of the soil biota and the functional roles played by soil organisms in key ecological processes.

In this course, we promote a multidisciplinary approach presenting the most recent findings on the topic and challenging the traditional way of considering symbiotic associations as exceptions and not as the rule.

The goal of this course is to provide to the participants with current and practical knowledge on urban ecology, including ecological and social aspects.