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

Shoenfield interpretation, majorizability and WKL

Patrícia Engrácia

FCUL, Sala 6.2.42

Abstract:

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.

16h00

Tipo de Evento Palestras/Conferências/Colóquios

Público Alvo Público em Geral

Tipo de Evento Tertúlias/Café de Ciência

Público Alvo Público em Geral

Tipo de Evento Portas abertas/Visitas a laboratórios

Público Alvo Estudantes universitários

Tipo de Evento Workshop

Público Alvo Professores

Tipo de Evento Portas abertas/Visitas a laboratórios

Público Alvo Público em Geral

Tipo de Evento Workshop

Público Alvo Público em Geral

Miguel Cortes Rodrigues defende o trabalho de projeto "Fatores determinantes do rating soberano português".

Por Tiago Campante (IA - Instituto de Astrofísica e Ciências do Espaço)

Tatiana Cristina Soares Garção defende a dissertação "Avaliação empírica do risco de mercado: Estimação do Value-at-risk pela teoria dos valores extremos".

As inscrições nos workshops são efetuadas em http://oficinaenergias.eventbrite.com/.

Durante o mês de novembro, o GAPsi vai organizar o ciclo Palestras no Outono, disponibilizando palestras com temáticas na área das Competências Transversais.

As inscrições nos workshops são efetuadas em http://oficinaenergias.eventbrite.com/.

Concurso de inovação digital que pretende associar as novas tecnologias ao desenvolvimento social e bem-estar da população, focado nos problemas e necessidades nas seguintes áreas de intervenção da Santa Casa da Miser

Interessado em realizar um estágio extracurricular a nível internacional?

As inscrições nos workshops são efetuadas em http://oficinaenergias.eventbrite.com/.

Arminda Manuela Queimado Pereira defende a dissertação "Equações Algébricas: alguns episódios históricos".

Estes cursos breves, dirigidos aos alunos de licenciatura (e mestrado) em Biologia da FCUL, têm como objetivo complementar o seu plano curricular e a oferta já existente para este público-alvo, e decorrem sobretudo aos fins de semana e feriados para evitar sobreposição com

Contribuição para a construção de uma infraestrutura sólida de medições químicas, numa ação a decorrer nos dias 11 e 12 de dezembro de 2017.

Patrick Tony Lapa Joaquim defende a dissertação "Avaliação de opções com séries de Fourier".

João Miguel Mendes dos Reis defende a dissertação "American Options under Stochastic Volatility via a Transformation Procedure".

Nuno Ricardo Raimundo Silva defende a dissertação "A CFO-based model of coningent claims with jump risk".

Raquel Maria Vicente Filipedefende a dissertação "Coupled Wiener processes: from single to collective dynamics of active particles".

Inês da Silva Pinto Campos defende a dissertação "Trigonometria: encantos e recantos de uma abordagem didática".

As Conferências do CIUHCT são um ciclo de palestras organizados anualmente pelo CIUHCT sobre assuntos de História das Ciências e da Tecnologia.

Páginas