Passar para o conteúdo principal

Lógica

The Logical Necessity of Mathematics

Reasoning Seminar, por Chris Scambler (Oxford University).

Ler mais acerca de The Logical Necessity of Mathematics

From axioms to synthetic inference rules via focusing

Mathematical Logic Seminar, por Elaine Pimentel (University College London).

Ler mais acerca de From axioms to synthetic inference rules via focusing

What if worlds could vary?

Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).

Ler mais acerca de What if worlds could vary?

Proof mining for the dual of a Banach space and extensions

Mathematical Logic Webinar, por Nicholas Pischke (Technical University of Darmstadt).

Ler mais acerca de Proof mining for the dual of a Banach space and extensions

Functional interpretations over finite types with star types

Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).

Ler mais acerca de Functional interpretations over finite types with star types

Completeness of the random graph

Mathematical Logic Seminar, por Ana Catarina Monteiro (University of Lisbon).

Ler mais acerca de Completeness of the random graph

Non-tightness in class theory and second-order arithmetic

Mathematical Logic Seminar, por Alfredo Freire (University of Aveiro).

Ler mais acerca de Non-tightness in class theory and second-order arithmetic

An unbounded version of Zarankiewicz's problem

Mathematical Logic Webinar, por Pantelis Eleftheriou (University of Leeds).

Ler mais acerca de An unbounded version of Zarankiewicz's problem

An escape from Vardanyan’s Theorem

Mathematical Logic Seminar, por Ana Borges (University of Barcelona).

Ler mais acerca de An escape from Vardanyan’s Theorem

On Weyl's predicative concept of set

Mathematical Logic Webinar, por Laura Crosilla (University of Oslo).

Ler mais acerca de On Weyl's predicative concept of set

Páginas